Extensional Godel functional interpretation a consistency proof of classical analysis
Luckhardt, Horst
Extensional Godel functional interpretation a consistency proof of classical analysis Horst Luckhardt - Berlin New York Springer-Verlag 1973 - vi, 161 p 26 cm - Lecture notes in mathematics, 306 . - Lecture notes in mathematics (Springer-Verlag) .
Contine bibliografie
eng
0387061193
72-096046 //r85
Proof theory
Intuitionistic mathematics
/ 510
Extensional Godel functional interpretation a consistency proof of classical analysis Horst Luckhardt - Berlin New York Springer-Verlag 1973 - vi, 161 p 26 cm - Lecture notes in mathematics, 306 . - Lecture notes in mathematics (Springer-Verlag) .
Contine bibliografie
eng
0387061193
72-096046 //r85
Proof theory
Intuitionistic mathematics
/ 510