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 - 2025/04/09 ER -