Constructions, proofs and the meaning of logical constants Göran Sundholm OriginalPaper Pages: 151 - 172
Against intuitionism: Constructive mathematics is part of classical mathematics W. W. Tait OriginalPaper Pages: 173 - 195