3827
Luckhardt, Horst
Extensional Godel functional interpretation; a consistency proof of classical analysis
Berlin; New York
Springer-Verlag
1973
vi, 161p
Lecture notes in mathematics, 603
Bibliography: p. 157-161
، Proof theory
، Intuitionistic mathematics
QA
3
.
L28
no
.
306
AU
TI
SE
CL
