عنوان
پدید آورنده
موضوع
رده
QA 9 .L8 1973
QA
9
.
L8
1973
کتابخانه
محل استقرار
32406
Luckhardt, Horst
Extensional Godel functional interpretation : a consistency proof of classical analysis
Berlin
Springer-Verlag
1973
vi, 161 p. 26 cm.
Lecture notes in mathematics; 603
Includes bibliographical references )p. 157-161(
Horst Luckhardt
، Proof theory
، Intuitionistic mathematics
510/
.
8
s
511/
.
3
QA
9
.
L8
1973
AU
TI
SE
یاضه ریه دانشکدانابخکت
