Extensional Godel functional interpretation : a consistency proof of classical analysis
Luckhardt, Horst
Extensional Godel functional interpretation : a consistency proof of classical analysis - - Berlin Springer-Verlag, 1973 - vi,161 p. 24.5 cm - BSI 6057 : part - 3 : sect. - 3.13 : 1984 .
3-540-06119-30
Godel's theorem
Proof theory
517.5 Luc
Extensional Godel functional interpretation : a consistency proof of classical analysis - - Berlin Springer-Verlag, 1973 - vi,161 p. 24.5 cm - BSI 6057 : part - 3 : sect. - 3.13 : 1984 .
3-540-06119-30
Godel's theorem
Proof theory
517.5 Luc