Constructive proof
![[The PROOF of FERMAT's LAST THEOREM] and [OTHER MATHEMATICAL MYSTERIES] the World's Most Famous Math Problem the World's Most Famous Math Problem](http://data.docslib.org/img/264x/05de5d3779f02d4b447ab8103b2a97b5.webp)
Top View
- The Weird and Wonderful World of Constructive Mathematics
- Two Lectures on Constructive Type Theory
- Non-Constructive Existence Proofs
- Foreword to Foundations of Constructive Analysis
- Set-Theoretical Mathematics in Coq
- Choice Principles in Constructive and Classical Set Theories
- Constructing and Writing Proofs in Mathematics
- The Axiom of Choice
- Constructive Decision Via Redundancy-Free Proof-Search Dominique Larchey-Wendling
- Intuitionistic Type Theory
- The Theory of the Foundations of Mathematics - 1870 to 1940
- Classical and Constructive Logic
- A Constructive Proof of Orzech's Theorem
- Linear Logic for Constructive Mathematics
- Metaphysics in Mathematics
- The Coq Proof Assistant: Principles, Examples and Main Applications
- Proof Theory and Constructive Mathematics - Anne S
- Classical and Constructive Logic