Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
771	Nonstandard Set Theories and Information Management VAROL AKMAN Add to Reading List Source URL: www.cs.bilkent.edu.tr Language: English - Date: 2006-07-04 07:58:01 Axioms of set theory Z notation Urelements Self-reference Zermelo–Fraenkel set theory S Axiom of choice New Foundations Axiom of regularity Mathematical logic Set theory Mathematics
772	Reprints in Theory and Applications of Categories, No. 11, 2005, pp. 1–35. AN ELEMENTARY THEORY Add to Reading List Source URL: tac.mta.ca Language: English - Date: 2005-05-20 10:56:44 Categorical logic William Lawvere Category of sets Topos Categorical set theory Morphism Function Axiom of choice Metric Mathematics Category theory Mathematical logic
773	223 An Ontological Theory of Physical Objects Add to Reading List Source URL: www.qrg.northwestern.edu Language: English - Date: 2003-07-23 01:30:46 Topology Ontology Mereology Predicate logic Metaphysics Mereotopology Simple Axiom Space Mathematics Mathematical logic Logic
774	Comment.Math.Univ.Carolin. 43,[removed]–333 Products of Lindel¨ Add to Reading List Source URL: www.maths.soton.ac.uk Language: English - Date: 2010-02-10 06:38:48 Axiom of choice Compact space Separable space Product topology Axiom of countable choice Metric space Boolean prime ideal theorem Ultrafilter Baire space Topology Mathematics General topology
775	Universes in Toposes Thomas STREICHER Fachbereich 4 Mathematik, TU Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-03-25 13:03:23 Axioms of set theory Z notation Sheaf theory Topos Axiom schema of replacement Zermelo–Fraenkel set theory Grothendieck universe Universe Sheaf Mathematical logic Mathematics Set theory
776	Notes by David Groisser, Copyright c 1993, revised version[removed]Peano Axioms for the Natural Numbers Add to Reading List Source URL: www.math.ufl.edu Language: English - Date: 2001-09-06 10:32:21 Elementary mathematics Mathematical proofs Proof theory Formal systems Peano axioms Mathematical induction Number system Axiom Natural number Mathematics Mathematical logic Logic
777	Teoria Axiom´atica de Conjuntos: Uma Introdu¸c˜ao Marcelo Esteban Coniglio Add to Reading List Source URL: www.cle.unicamp.br Language: Portuguese - Date: 2012-06-28 18:37:02
778	Mathematics and Mathematicians Mathematics, or math (sometimes also shortened as "maths"), is the study of numbers, shapes and patterns. Mathematicians are people whose job is to learn and discover such things in Add to Reading List Source URL: www2.ef.jcu.cz Language: English - Date: 2011-04-27 05:24:12 Mathematical logic Elementary mathematics Theorem Axiom Mathematical proof Number Algebra Mathematical problem Formalism Mathematics Logic Philosophy of mathematics
779	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
780	CHAPTER 1: THE PEANO AXIOMS MATH 378, CSUSM. SPRING[removed]AITKEN Add to Reading List Source URL: public.csusm.edu Language: English - Date: 2009-05-19 22:20:27 Elementary mathematics Formal systems Cardinal numbers Logic in computer science Peano axioms Number system Axiomatic system Axiom Function Mathematics Logic Mathematical logic

UPDATE