عنوان
پدید آورنده
موضوع
رده
510 .8 Me
510
.
8
Me
کتابخانه
محل استقرار
206122
انگلیسی
IR
Metamathematical investigation of intuitionistic arithmetic and analysis
[book]
/ A. S. Troelstra
New York
: [s.n.]
، 1973, 1973
xvii, 485 p.
: ill
Lecture notes in mathematics; 344
Bibliography: p. [462]-475
Intutitionistic mathematics
Proof Theory
Model Theory
510
.
8
Me
Troelstra, Anne Sjerp
creator
ایران
510 .8 Me
Previous cataloging
BL
1
Y
