Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
641	PDF Document Add to Reading List Source URL: www.cwru.edu Language: English - Date: 1998-06-12 16:44:35 Mathematical logic Metalogic Logical syntax Model theory Mathematical proof Theorem Mathematical object First-order logic Formal system Logic Mathematics Philosophy of mathematics
642	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2008-01-24 13:25:37 Algebraic logic Analytic philosophers Logicians Guggenheim Fellows Metalogic Alfred Tarski Solomon Feferman Robert Lawson Vaught Mathematical logic Philosophy Logic Mathematics
643	PDF Document Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2007-11-29 06:05:45 Philosophical logic Propositional calculus Metalogic Non-classical logic Admissible rule Unification Entailment Normal modal logic Model theory Logic Mathematical logic Modal logic
644	PDF Document Add to Reading List Source URL: users.utu.fi Language: English - Date: 2006-11-17 19:15:54 Conjunctive grammar Metalogic Context-free grammar Formal grammar Terminal and nonterminal symbols Chomsky normal form Syntactic predicate Boolean grammar Formal languages Grammar Logic
645	PDF Document Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2011-12-13 04:40:36 Model theory Formal languages Metalogic First-order logic Interpretation Dependence logic Entailment Well-formed formula Substitution Logic Propositional calculus Mathematical logic
646	PDF Document Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-12-01 22:19:25 Mathematical logic Non-classical logic Entailment Metalogic First-order logic Tautology Modal logic Paraconsistent logic If and only if Logic Philosophical logic Propositional calculus
647	PDF Document Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2006-03-15 12:03:19 Linear algebra Metalogic Model theory Ergodic theory Monoid Determinant Sigma-algebra Holomorphic functional calculus Algebra Mathematics Abstract algebra
648	PDF Document Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-12-01 09:29:51 Logical syntax Philosophical logic Mathematical logic First-order logic Interpretation Dependence logic Well-formed formula Independence-friendly logic Function Logic Predicate logic Metalogic
649	PDF Document Add to Reading List Source URL: math.bu.edu Language: English - Date: 2008-07-21 16:26:02 Forcing Metalogic Model theory Paul Cohen Axiom of choice Continuum hypothesis Set theory Zermelo–Fraenkel set theory Axiom Mathematical logic Mathematics Logic
650	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2006-01-20 17:21:14 Model theory Real algebraic geometry Guggenheim Fellows Proof theory Metalogic Alfred Tarski Presburger arithmetic Existential theory of the reals Quantifier elimination Logic Mathematical logic Mathematics