5570 results in Programming Languages and Applied Logic
13 - A Leisurely Random Walk Down the Lane of a Constructive Theory of Stochastic Processes
- from Part III - Analysis
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 333-356
-
- Chapter
- Export citation
Preface
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp xvi-xx
-
- Chapter
- Export citation
14 - Bases of Pseudocompact Bishop Spaces
- from Part IV - Topology
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 359-394
-
- Chapter
- Export citation
Part IV - Topology
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 357-358
-
- Chapter
- Export citation
9 - Constructive Functional Analysis
- from Part III - Analysis
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 221-254
-
- Chapter
- Export citation
18 - Apartness on Lattices and Between Sets
- from Part IV - Topology
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 483-512
-
- Chapter
- Export citation
Part III - Analysis
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 199-200
-
- Chapter
- Export citation
1 - An Introduction to Intuitionistic Logic
- from Part I - Introductory
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 3-19
-
- Chapter
- Export citation
10 - Constructive Banach Algebra Theory
- from Part III - Analysis
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 255-285
-
- Chapter
- Export citation
8 - Elements of Constructive Analysis
- from Part III - Analysis
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 201-220
-
- Chapter
- Export citation
Index
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 826-842
-
- Chapter
- Export citation
21 - Identity, Equality, and Extensionality in Explicit Mathematics
- from Part V - Logic and Foundations
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 564-583
-
- Chapter
- Export citation
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
Introduction to Choreographies
-
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023
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