عنوان
پدید آورنده
موضوع
رده
510 .8 L471 No.212
510
.
8
L471
No
.
212
کتابخانه
محل استقرار
206101
انگلیسی
IR
Proof theory and intuitionistic systems
[book]
/ Bruno Scarpellini
Berlin
: Springer-Verlag
، 1971
vii, 291p
Lecture notes in mathematics; 212
Lecture notes in mathematics(Berlin)212
Bibliography: p. [291]
Intuitionistic mathematics
Proof theory
510
.
8
L471
No
.
212
QA
3
.
L28
Scarpellini, Bruno
author
ایران
QA 3 .L28
Previous cataloging
BL
1
Y
