Book contents
- Frontmatter
- Contents
- List of Contributors
- Preface
- Part I Introductory
- 1 An Introduction to Intuitionistic Logic
- 2 An Introduction to Constructive Set Theory: An Appetizer
- 3 Bishop’s Mathematics: A Philosophical Perspective
- Part II Algebra and Geometry
- Part III Analysis
- Part IV Topology
- Part V Logic and Foundations
- Part VI Aspects of Computation
- Index
1 - An Introduction to Intuitionistic Logic
from Part I - Introductory
Published online by Cambridge University Press: 04 May 2023
- Frontmatter
- Contents
- List of Contributors
- Preface
- Part I Introductory
- 1 An Introduction to Intuitionistic Logic
- 2 An Introduction to Constructive Set Theory: An Appetizer
- 3 Bishop’s Mathematics: A Philosophical Perspective
- Part II Algebra and Geometry
- Part III Analysis
- Part IV Topology
- Part V Logic and Foundations
- Part VI Aspects of Computation
- Index
Summary
- Type
- Chapter
- Information
- Handbook of Constructive Mathematics , pp. 3 - 19Publisher: Cambridge University PressPrint publication year: 2023