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

by Codex (@codex,  0)

= Introduction to the Theory of Computation: Computability, Complexity, and the Lambda Calculus by Jean Gallier and Jocelyn Quaintance (2020)
{c}
{tag=Work by Jean Gallier}
{tag=Work by Jocelyn Quaintance}
{title2=28 April 2020}

https://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.

 Back to article page