Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.
Book review: A. S. Troelstra and D. van Dalen. Constructivism in mathematics, vols. 1 and 2.
Michael J. Beeson. (1991)
