TY  - JOUR

T1  - Book Review: Mathematical intuitionism. Introduction to proof theory

JO  - Bulletin of the American Mathematical Society

UR  - http://dx.doi.org/10.1090/s0273-0979-1990-15891-4

PY  - 1990/04/01

AU  - Moerdijk I

ED  - 

DO  - DOI: 10.1090/s0273-0979-1990-15891-4

PB  - American Mathematical Society (AMS)

VL  - 22

IS  - 2

SP  - 301

EP  - 305

Y2  - 2024/12/22

ER  -