TY  - BOOK
AU  - Troelstra,A.S.
TI  - Mathematical investigation of intuitionistic arithmetic and analysis
T2  - Lecture notes in mathematics ; 
SN  - 3540064915
AV  - QA9.47 T75
PY  - 1973///
CY  - Berlin
PB  - Springer Verlag
KW  - Teoría de modelos
KW  - Matemática intuitiva
KW  - Teoría de la demostración
ER  -