Intuitionistic logic model theory and forcing
Autor principal: | |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Amsterdam
North-Holland
1969
|
Colección: | (Studies in logic and the foundations of mathematics)
|
Materias: |
Descripción Física: | 191 p. 23cm |
---|---|
Bibliografía: | Bibliografía: 188-189 |