Intuitionistic logic, model theory and forcing
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | English |
| Опубликовано: |
Amsterdam
North-Holland Pub. Co.
1969.
|
| Серии: | Studies in logic and the foundation of mathematics.
|
| Предметы: |