Corpus ID: 117771305

Elements of Intuitionism

@inproceedings{Dummett2000ElementsOI,
  title={Elements of Intuitionism},
  author={M. Dummett},
  year={2000}
}
Introductory remarks 1. Preliminaries 2. Elementary intuitionistic mathematics 3. Choice sequences and spreads 4. The formalization of intuitionistic logic 5. The semantics of intuitionistic logic 6. Some further topics 7 Concluding philosophical remarks Bibliography Index 
426 Citations