04469nam 22014295 450 991015475300332120190708092533.01-4008-8193-510.1515/9781400881932(CKB)3710000000620138(MiAaPQ)EBC4738617(DE-B1597)467959(OCoLC)979581035(DE-B1597)9781400881932(EXLCZ)99371000000062013820190708d2016 fg engurcnu||||||||rdacontentrdamediardacarrierThe Calculi of Lambda Conversion. (AM-6), Volume 6 /Alonzo ChurchPrinceton, NJ : Princeton University Press, [2016]©19851 online resource (89 pages)Annals of Mathematics Studies ;2940-691-08394-0 Includes bibliographical references and index.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 ADDITIONSThe description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.Annals of mathematics studies ;Number 6.Logic, Symbolic and mathematicalRecursive functions2H.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.Logic, Symbolic and mathematical.Recursive functions.517.5Church Alonzo, 45761DE-B1597DE-B1597BOOK9910154753003321The Calculi of Lambda Conversion. (AM-6), Volume 62785668UNINA