<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-05-31 04:15:47Constructivism Structure Mathematics Type theory Logic Constructive proof Axiom of choice Topos Mathematical logic Model theory Topology |
Add to Reading List |
Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-Sud | On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104DocID: 1rdlF - View Document |
 | Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of GothenburgDocID: 1r4x2 - View Document |
| Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-SudDocID: 1ohHD - View Document |
 | A constructive proof of the general Lov´asz Local Lemma Robin A. Moser∗ G´abor Tardos† Institute for Theoretical Computer ScienceDocID: 1o9Zv - View Document |
 | Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny MunkegadeDocID: 1o9To - View Document |