3865
Troelstra, Anne Sjerp
Metamathematical investigation of intuitionistic arithmetic and analysis
Berlin
Springer-Verlag
1973
xvii, 486p.:ill
Lecture notes in mathematics; 443
Bibliography: p. ]462[-475
]by[ A.S.Troelstra ]ed[
، Intuitionistic mathematics
، Proof theory
، Model theory
QA
3
.
L28
no
.
344
AU
TI
SE
CL
