Introduction to the Theory of Computation: Computability, Complexity, and the Lambda Calculus by Jean Gallier and Jocelyn Quaintance (2020) 2026-11-05
View more
Chapter6 describes first-order arithmetic, including the seven Robinson arithmetic axioms and the induction schema; Chapter4 develops lambda calculus.
Read the full article