3725
Scarpellini, Bruno
Proof theory and intuitionistic systems
Berlin; New York
Springer-Verlag
1971
vii, 290, ]1[p
Lecture notes in mathematics, 212
Bibliography: p. ]291[
، Intuitionistic mathematics
، Proof theory
QA
3
.
L28
no
.
212
AU
TI
SE
CL
