Open Access
April 1990 Review: A. G. Dragalin, Mathematical intuitionism. Introduction to proof theory
Ieke Moerdijk
Bull. Amer. Math. Soc. (N.S.) 22(2): 301-304 (April 1990).
First Page PDF

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

Vol.22 • No. 2 • April 1990
Back to Top