LC CutterNumber :
.L28,no.
Dewey CutterNumber :
/.8 s 511
Author :
Luckhardt, Horst
Title :
Extensional Godel functional interpretation;
Publication :
Springer-Verlag
Collation :
vi, 161 p., 26 cm
Series :
Lecture notes in mathematics, 306
Subject :
Proof theory,Intuitionistic mathematics
Holding Info. :
0387061193
SubTitle :
a consistency proof of classical analysis
Biblography :
Bibliography: p. 157-161.
