Volume 12, Issue 2 | Journal of Philosophical Logic

Search all Journal of Philosophical Logic articles

Volume 12, Issue 2

May 1983

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

Intuitionism: An introduction to a seminar
Charles McCarty
EditorialNotes Pages: 105 - 149
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
Analysing choice sequences
A. S. Troelstra
ReviewPaper Pages: 197 - 260
The intended interpretation of intuitionistic logic
Scott Weinstein
OriginalPaper Pages: 261 - 270