Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.

Recursive functions. --- Metamathematics. --- Addition. --- Algebraic geometry. --- Alonzo Church. --- Arithmetic function. --- Arithmetic. --- Atomic sentence. --- Axiom A. --- Axiom schema. --- Axiom. --- Axiomatic system. --- Binary relation. --- Cantor's diagonal argument. --- Cartesian product. --- Characterization (mathematics). --- Chinese remainder theorem. --- Closed-form expression. --- Closure (mathematics). --- Combination. --- Combinatory logic. --- Complement (set theory). --- Concatenation theory. --- Consistency. --- Constructive proof. --- Corollary. --- Countable set. --- Counterexample. --- Decidability (logic). --- Decision problem. --- Definable set. --- Diagonalization. --- Direct proof. --- Disjoint sets. --- Enumeration. --- Equation. --- Existential quantification. --- Exponential function. --- Finite set. --- Formal system. --- Functional calculus. --- Gödel numbering. --- Gödel's incompleteness theorems. --- Herbrand's theorem. --- Inference. --- Integer factorization. --- Iteration. --- John Myhill. --- Logical connective. --- Logical consequence. --- Mathematical induction. --- Mathematical logic. --- Mathematician. --- Mathematics. --- Modus ponens. --- Natural number. --- Negation. --- Number theory. --- Order theory. --- Parity (mathematics). --- Peano axioms. --- Predicate (mathematical logic). --- Prenex normal form. --- Primitive recursive function. --- Quantifier (logic). --- Recursion. --- Recursive set. --- Recursively enumerable set. --- Remainder. --- Requirement. --- Rule of inference. --- Scientific notation. --- Sequence. --- Set (mathematics). --- Sign (mathematics). --- Special case. --- Subset. --- Suggestion. --- System U. --- Theorem. --- Theory. --- Transfinite number. --- Turing machine. --- Universal set. --- Validity. --- Variable (mathematics). --- Zermelo set theory.