Open Access
Spring 1991 Book review: A. S. Troelstra and D. van Dalen. Constructivism in mathematics, vols. 1 and 2.
Michael J. Beeson
Notre Dame J. Formal Logic 32(2): 320-322 (Spring 1991). DOI: 10.1305/ndjfl/1093635756
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.32 • No. 2 • Spring 1991
Back to Top