↓ Skip to main content
What is this page? Embed badge

Foundations of Constructive Mathematics

Overview of attention for book
Cover of 'Foundations of Constructive Mathematics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Examples of Constructive Mathematics
  3. Altmetric Badge
    Chapter 2 Informal Foundations of Constructive Mathematics
  4. Altmetric Badge
    Chapter 3 Some Different Philosophies of Constructive Mathematics
  5. Altmetric Badge
    Chapter 4 Recursive Mathematics: Living with Church’s Thesis
  6. Altmetric Badge
    Chapter 5 The Role of Formal Systems in Foundational Studies
  7. Altmetric Badge
    Chapter 6 Theories of Rules
  8. Altmetric Badge
    Chapter 7 Realizability
  9. Altmetric Badge
    Chapter 8 Constructive Set Theories
  10. Altmetric Badge
    Chapter 9 The Existence Property in Constructive Set Theory
  11. Altmetric Badge
    Chapter 10 Theories of Rules, Sets, and Classes
  12. Altmetric Badge
    Chapter 11 Constructive Type Theories
  13. Altmetric Badge
    Chapter 12 Constructive Models of Set Theory
  14. Altmetric Badge
    Chapter 13 Proof-Theoretic Strength
  15. Altmetric Badge
    Chapter 14 Some Formalized Metamathematics and Church’s Rule
  16. Altmetric Badge
    Chapter 15 Forcing
  17. Altmetric Badge
    Chapter 16 Continuity
  18. Altmetric Badge
    Chapter 17 Theories of Rules and Proofs
Attention for Chapter 13: Proof-Theoretic Strength
Altmetric Badge

Citations

dimensions_citation
586 Dimensions
Summary Dimensions citations
So far, Dimensions has found 586 publications that cite this research output.

586

The most recent citing publications are shown below. View all 586 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.