First Page | Document Content | |
---|---|---|
![]() Date: 2012-11-12 10:34:06Logic Proof theory Mathematical logic Mathematics Proof mining Mathematical proof Consistency Constructive proof Formal proof Intuitionistic logic Approximation Type theory | Add to Reading List |
![]() | 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 |