Metamath - PDFSEARCH.IO - Document Search Engine

Metamath
Results: 22

#	Item
11	Hilbert Lattice Equations Norman Megill nm @ alum.mit.edu http://metamath.org Add to Reading List Source URL: au.metamath.org Language: English - Date: 2016-02-11 02:10:56
12	A Note on Analysis and Circular Definitions Francesco Orilia Department of Philosophy, University of Macerata (Italy) Achille C. Varzi Department of Philosophy, Columbia University, New York (USA) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2000-01-22 18:17:56 Definition Philosophical logic Analytic philosophy Analysis Mathematical logic Truth Stipulative definition Metamath Paradox of analysis Logic Philosophy Science
13	Tips for TEAS, HOBET and COMPASS Tests Learning style inventory and study tips • http://www.uni.edu/walsh/linda7.html This site links to other sites to promote academic success • http://www.metamath.com/lsweb/dvclear Add to Reading List Source URL: www.kirkwood.edu Language: English - Date: 2011-10-03 11:51:30 Test preparation Education HOBET Nursing in the United States
14	Weaker D-Complete Logics NORMAN D. MEGILL, 19 Locke Lane, Lexington, MA 02173, USA. E-mail: [removed] MARTIN W. BUNDER, Department of Mathematics, University of Wollongong, Wollongong NSW 2500, Australia. E-mail: Mar Add to Reading List Source URL: de.metamath.org Language: English - Date: 2002-02-04 10:16:13 Condensed detachment Modal logic Propositional calculus Model theory Logic Mathematical logic Mathematics
15	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
16	Metamath A Computer Language for Pure Mathematics Norman Megill ∼ Public Domain ∼ Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
17	Weaker D-Complete Logics NORMAN D. MEGILL, 19 Locke Lane, Lexington, MA 02173, USA. E-mail: [removed] MARTIN W. BUNDER, Department of Mathematics, University of Wollongong, Wollongong NSW 2500, Australia. E-mail: Mar Add to Reading List Source URL: us.metamath.org Language: English - Date: 2013-01-17 15:03:23 Condensed detachment Modal logic Propositional calculus Model theory Logic Mathematical logic Mathematics
18	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: us.metamath.org Language: English - Date: 2014-05-21 18:58:43 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
19	162 SAUNDERS MACLANE Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:31:16 Peano axioms Axiom Metamath Mathematical proof Principia Mathematica Intuitionistic logic Propositional calculus Consistency Function Logic Mathematics Mathematical logic
20	A Formulation of the Simple Theory of Types Alonzo Church The Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), pp[removed]. Add to Reading List Source URL: www.classes.cs.uchicago.edu Language: English - Date: 2007-04-02 18:01:33 Formal languages Logical syntax Metalogic Model theory Interpretation Metamath Axiom Theorem Principia Mathematica Logic Mathematics Mathematical logic

UPDATE