Licensed
Unlicensed
Requires Authentication
The Calculi of Lambda-Conversion (AM-6), Volume 6
Volume 6 in the series
Annals of Mathematics Studies
- Language: English
- Publisher: Princeton University Press
- Copyright year: 1985
- Audience: Professional and scholarly;College/higher education;
- Pages
- Main content: 77
- Keywords: Natural number; Variable (mathematics); Combination; Propositional function; Theorem; Primitive recursive function; Sequence; Existential quantification; Identity function; Ordinal number; Integer; Rule of inference; Quantifier (logic); Mathematical induction; Axiom; Function (mathematics); Argument of a function; Denotation; Equation; Special case; Gödel numbering; Characteristic function (probability theory); Principia Mathematica; Notation; Mathematical logic; Successor function; Exponentiation; Calculation; Scientific notation; Transfinite; Transfinite number; Enumeration; Set theory; Logical disjunction; Finitary; Addition; Complex number; Recursion (computer science); Recursion; Resultant; Limit (mathematics); Big O notation; Negation; Number theory; Logical conjunction; Metamathematics; Differential calculus; Mathematics; Reduction of order; Null set; Frege (programming language); Universal quantification; Exc; Corollary; Truth value; Computation; Upper and lower bounds; Real number; Theory; Ambiguity; Iteration; Alphabetical order; Definition; Well-formed formula; A-normal form; Logic; Pairing; Consistency; Requirement; Without loss of generality; Computability; Paul Bernays; Bibliography; 2H; Formal system; Uncertainty; Finite set; Determination; In the process of
eBook
- Published: March 2, 2016
- ISBN: 9781400881932
