Remarks on Intuitionism and the Philosophy of Mathematics | Institute for Logic, Language and Computation

Mathematical Logic and Foundations (ML) Series (1988-1998)

ML-1988-05:: A.S. Troelstra Remarks on Intuitionism and the Philosophy of Mathematics
1.Full Text.

Back