Validity and quantification in intuitionism H. C. M. de SwartC. J. Posy OriginalPaper Pages: 117 - 126