Dragalin, A. G. (1988). Mathematical intuitionism: Introduction to proof theory. American Math. Soc.
Chicago Style (17th ed.) CitationDragalin, Alb́ert G. Mathematical Intuitionism: Introduction to Proof Theory. Providence, RI: American Math. Soc, 1988.
MLA (9th ed.) CitationDragalin, Alb́ert G. Mathematical Intuitionism: Introduction to Proof Theory. American Math. Soc, 1988.
Warning: These citations may not always be 100% accurate.