LC CutterNumber :
.L28,no.
Dewey CutterNumber :
/.8 s
Author :
Troelstra, Anne Sjerp
Title :
Metamathematical investigation of intuitionistic arithmetic and analysis
Author Statement :
[by] A. S. Troelstra (ed.)
Collation :
xvii, 486 p. ill. 24 cm
Series :
Lecture notes in mathematics, 344
Subject :
Intuitionistic mathematics,Proof theory,Model theory
ADDED ENTRIES :
Series:Lecture notes in mathematics (Springer-Verlag) ; 344
Holding Info. :
0387064915
Biblography :
Bibliography: p. [462]-475
