Constructive analysis
Top View
- Constructive Real Numbers
- Introduction to Constructive Logic and Mathematics
- Pluralism.Pdf
- Intuitionistic Type Theory
- Families of Sets in Constructive Measure Theory
- Categorical Ontology I: Existence
- The Structure of Logical Consequence: Proof-Theoretic Conceptions
- Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems1
- Linear Logic for Constructive Mathematics
- Unified Foundations for Mathematics
- Lipics-FSCD-2020-14.Pdf (0.6
- Mathematisches Forschungsinstitut Oberwolfach Mathematical Logic
- Arxiv:1411.7636V1 [Math.LO] 27 Nov 2014 Upyt E Hoy a Theory
- Proof Theory for Functional Modal Logic
- Foundations of Constructive Mathematics
- CONSTRUCTIVE ANALYSIS with WITNESSES Contents 1. Real
- Proof Theory and Constructive Mathematics - Anne S
- Classical and Constructive Logic