34176 results in Mathematics (general)
12 - Constructive Mathematical Economics
- from Part III - Analysis
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 302-332
-
- Chapter
- Export citation
Part V - Logic and Foundations
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 513-514
-
- Chapter
- Export citation
4 - Algebra in Bishop’s style: A Course in Constructive Algebra
- from Part II - Algebra and Geometry
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 93-113
-
- Chapter
- Export citation
3 - Bishop’s Mathematics: A Philosophical Perspective
- from Part I - Introductory
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 61-90
-
- Chapter
- Export citation
19 - Countable Choice
- from Part V - Logic and Foundations
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 515-524
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp i-iv
-
- Chapter
- Export citation
2 - An Introduction to Constructive Set Theory: An Appetizer
- from Part I - Introductory
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 20-60
-
- Chapter
- Export citation
25 - Brouwer’s Fan Theorem
- from Part V - Logic and Foundations
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 700-712
-
- Chapter
- Export citation
22 - Inner and Outer Models for Constructive Set Theories
- from Part V - Logic and Foundations
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 584-635
-
- Chapter
- Export citation
Part I - Introductory
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 1-2
-
- Chapter
- Export citation
27 - Application of Constructive Analysis in Exact Real Arithmetic
- from Part VI - Aspects of Computation
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 749-776
-
- Chapter
- Export citation
Contents
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp v-xiii
-
- Chapter
- Export citation
List of Contributors
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp xiv-xv
-
- Chapter
- Export citation
11 - Constructive Convex Optimisation
- from Part III - Analysis
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 286-301
-
- Chapter
- Export citation
7 - Constructive Projective Geometry
- from Part II - Algebra and Geometry
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 168-198
-
- Chapter
- Export citation
6 - Constructive Algebra and Point-Free Topology
- from Part II - Algebra and Geometry
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 150-167
-
- Chapter
- Export citation
17 - Synthetic Topology
- from Part IV - Topology
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 445-482
-
- Chapter
- Export citation
26 - Computational Aspects of Bishop’s Constructive Mathematics
- from Part VI - Aspects of Computation
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 715-748
-
- Chapter
- Export citation
15 - Bishop Metric Spaces in Formal Topology
- from Part IV - Topology
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 395-425
-
- Chapter
- Export citation
Part VI - Aspects of Computation
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 713-714
-
- Chapter
- Export citation