First Page | Document Content | |
---|---|---|
Date: 2011-06-14 00:36:50Mathematical constructivism Function Universal quantification Entailment Intuitionistic logic Inference Heyting algebra Logic Mathematics Logical consequence | Logic as Based on Incompatibility Jaroslav Peregrin∗Add to Reading ListSource URL: jarda.peregrin.czDownload Document from Source WebsiteFile Size: 280,25 KBShare Document on Facebook |
Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University AbstractDocID: 1qLDo - View Document | |
A sufficient condition for the continuity of permanental processes with applications to local times of Markov processesDocID: 1qnAE - View Document | |
ZDM Mathematics Education:295–306 DOIs11858ORIGINAL ARTICLE Bringing forth mathematical concepts: signifying sensorimotorDocID: 1ouI7 - View Document | |
Emanuele Frittaion Curriculum Vitae 2016DocID: 1okGN - View Document | |
Effective Uniform Bounds from Proofs in Abstract Functional Analysis Ulrich Kohlenbach Department of Mathematics Darmstadt University of Technology Schlossgartenstraße 7DocID: 1oiUp - View Document |