Well-order

#	Item
671	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2004-08-30 12:48:53 Philosophical logic Model theory Modal logic Interpretation Well-formed formula Logical connective First-order logic Saul Kripke Logic Mathematical logic Formal languages
672	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-08-23 07:41:27 Model theory First-order logic Higher-order logic Logic programming Interpretation Type theory Structure Lambda calculus Well-formed formula Logic Mathematical logic Metalogic
673	PDF Document Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2006-10-25 07:16:45 Predicate logic Proof theory Formal systems Metalogic First-order logic Natural deduction Well-formed formula Axiom FO Logic Mathematical logic Mathematics
674	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-06-10 20:12:07 Ordinal numbers Order theory Forcing Constructible universe Cardinal number Well-order Axiom of choice Inner model theory Surreal number Mathematical logic Mathematics Set theory