عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.212
QA
1
.
L4
v
.
212
کتابخانه
محل استقرار
English
Proof theory and intuitionistic systems
Berlin, New York
Springer-Verlag
1971
vii, 290, ]1[ p. 26 cm
Lecture notes in mathematics, 212
Bibliography: p. )291(
Bruno Scarpellini
1
، Intuitionistic mathematics
، Proof theory
QA
1
.
L4
v
.
212
CA
511/
.
3
Scarpellini, Bruno.
AU
TI
SE
