Licensed
Unlicensed
Requires Authentication
Theory of Formal Systems
Volume 47 in the series
Annals of Mathematics Studies
- Language: English
- Publisher: Princeton University Press
- Copyright year: 1961
- Audience: College/higher education;Professional and scholarly;
- Pages
- Main content: 156
- Keywords: Theorem; Predicate (mathematical logic); Axiom; Recursive set; Quantifier (logic); Existential quantification; Recursively enumerable set; Subset; Gödel numbering; Set (mathematics); Complement (set theory); Characterization (mathematics); Variable (mathematics); Herbrand's theorem; Sign (mathematics); Mathematical induction; Axiomatic system; Decidability (logic); Order theory; System U; Natural number; Inference; Axiom schema; Rule of inference; Cantor's diagonal argument; Closure (mathematics); Gödel's incompleteness theorems; Concatenation theory; Transfinite number; Mathematical logic; Number theory; Zermelo set theory; Peano axioms; Cartesian product; Parity (mathematics); Equation; Special case; Axiom A; Definable set; Turing machine; Direct proof; Theory; Primitive recursive function; Sequence; Logical connective; Prenex normal form; Modus ponens; Arithmetic function; Scientific notation; Enumeration; Formal system; Universal set; Functional calculus; Mathematics; Metamathematics; Counterexample; Corollary; Diagonalization; Validity; Arithmetic; Atomic sentence; Decision problem; Disjoint sets; Logical consequence; Chinese remainder theorem; Combination; Binary relation; Exponential function; Recursion; Negation
eBook
- Published: March 2, 2016
- ISBN: 9781400882007
