En cours de chargement...
- Foreword
- Constructing Ordinals
- Brouwer s Real Thesis on Bars
- Reverse Mathematics in Bishop s Constructive Mathematics
- Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics
- At the Heart of Analysis: Intuitionism and Philosophy
- Two Constructivist Aspects of Category Theory
- Type Theory and Universal Grammar