1. Intuitionism: An introduction to a seminar

   • Charles McCarty

   EditorialNotes Pages: 105 - 149

2. Constructions, proofs and the meaning of logical constants

   • Göran Sundholm

   OriginalPaper Pages: 151 - 172

3. Against intuitionism: Constructive mathematics is part of classical mathematics

   • W. W. Tait

   OriginalPaper Pages: 173 - 195

4. Analysing choice sequences

   • A. S. Troelstra

   ReviewPaper Pages: 197 - 260

5. The intended interpretation of intuitionistic logic

   • Scott Weinstein

   OriginalPaper Pages: 261 - 270