The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church

• Autore: Church Alonzo
• Pubblicazione: Princeton, NJ : , : Princeton University Press, , [2016]; ©1985
• Descrizione fisica: 1 online resource (89 pages)
• Disciplina: 517.5
• Soggetto topico: Logic, Symbolic and mathematical; Recursive functions
• Soggetto non controllato: 2H; A-normal form; Addition; Alphabetical order; Ambiguity; Argument of a function; Axiom; Bibliography; Big O notation; Calculation; Characteristic function (probability theory); Combination; Complex number; Computability; Computation; Consistency; Corollary; Definition; Denotation; Determination; Differential calculus; Enumeration; Equation; Exc; Existential quantification; Exponentiation; Finitary; Finite set; Formal system; Frege (programming language); Function (mathematics); Gödel numbering; Identity function; In the process of; Integer; Iteration; Limit (mathematics); Logic; Logical conjunction; Logical disjunction; Mathematical induction; Mathematical logic; Mathematics; Metamathematics; Natural number; Negation; Notation; Null set; Number theory; Ordinal number; Pairing; Paul Bernays; Primitive recursive function; Principia Mathematica; Propositional function; Quantifier (logic); Real number; Recursion (computer science); Recursion; Reduction of order; Requirement; Resultant; Rule of inference; Scientific notation; Sequence; Set theory; Special case; Successor function; Theorem; Theory; Transfinite number; Transfinite; Truth value; Uncertainty; Universal quantification; Upper and lower bounds; Variable (mathematics); Well-formed formula; Without loss of generality
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS
• Sommario/riassunto: The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.
• Titolo autorizzato: The Calculi of Lambda Conversion. (AM-6), Volume 6
• ISBN: 1-4008-8193-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910154753003321
• Lo trovi qui: Univ. Federico II
• Serie: Annals of mathematics studies ; ; Number 6.