X-1990-01: A.S. Troelstra Remarks on Intuitionism and the Philosophy of Mathematics, Revised Version 1.Full Text. < Back
