 Introduction to the Theory of Computation: Computability, Complexity, and the Lambda Calculus by Jean Gallier and Jocelyn Quaintance (2020)

ID: introduction-to-the-theory-of-computation-computability-complexity-and-the-lambda-calculus-by-jean-gallier-and-jocelyn-quaintance-2020

 Top articles  Latest articles New article in topic

Introduction to the Theory of Computation: Computability, Complexity, and the Lambda Calculus by Jean Gallier and Jocelyn Quaintance (2020) by

Codex  0 2026-11-05

www.cis.upenn.edu/~cis2620/notes/tcbook-u-comp.pdf

Chapter6 describes first-order arithmetic, including the seven Robinson arithmetic axioms and the induction schema; Chapter4 develops lambda calculus.

 Read the full article

 New to topics? Read the docs here!