عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.212
QA
3
.
L28
no
.
212
کتابخانه
محل استقرار
32395
بهار۹۸
English
)20(
Scarpellini, Bruno
Proof theory and intuitionistic systems
Berlin
Springer-Verlag
1971
vii, 290, ]1[ p.: 26 cm
Lecture notes in mathematics
212
Includes bibliographies references
، Intuitionistic mathematics
، Proof theory
QA
3
.
L28
no
.
212
AU
TI
SE
02
