عنوان
پدید آورنده
موضوع
رده
QA 9 .D7313 1988
QA
9
.
D7313
1988
کتابخانه
محل استقرار
54754
English
Dragalin, Albert Grigorevich
Mathematical intuitionism : introduction to proof theory
Providence, R.I.
American Mathematical Society
1988
ix, 228 p. ; 24 cm
Translations of mathematical monographs, 5600-2829, v. 76
Translation of: Matematicheskii intuitsionizm
Bibliography: p. 201-216
Includes indexes
A.G. Dragalin
، Intuitionistic mathematics
QA
9
.
D7313
1988
AU
TI
SE
یاضه ریه دانشکدانابخکت
