2H
A-normal form
A01=Alonzo Church
Addition
Alphabetical order
Ambiguity
Argument of a function
Author_Alonzo Church
Axiom
Bibliography
Big O notation
Calculation
Category=PBK
Characteristic function (probability theory)
Combination
Complex number
Computability
Computation
Consistency
Corollary
Definition
Denotation
Determination
Differential calculus
Enumeration
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Equation
Exc
Existential quantification
Exponentiation
Finitary
Finite set
Formal system
Frege (programming language)
Function (mathematics)
Godel 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
Recursion (computer science)
Reduction of order
Requirement
Resultant
Rule of inference
Scientific notation
Sequence
Set theory
Special case
Successor function
Theorem
Theory
Transfinite
Transfinite number
Truth value
Universal quantification
Upper and lower bounds
Variable (mathematics)
Well-formed formula
Without loss of generality
Product details
- ISBN 9780691083940
- Weight: 170g
- Dimensions: 152 x 229mm
- Publication Date: 21 Jan 1985
- Publisher: Princeton University Press
- Publication City/Country: US
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.
Alonzo Church (1903–1995) was a renowned mathematician, logician, and philosopher. Together with his student Alan Turing, he is considered one of the founders of computer science. He is the author of Introduction to Mathematical Logic (Princeton).
