Extensional Godel functional interpretation : a consistency proof of classical analysis.
Autor principal: | |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlín :
Springer,
1964-.
|
Materias: |
Notas: | En: Lecture notes in mathematics. Berlin, Springer, 1964- v. 306 |
---|---|
Descripción Física: | 161 páginas |