Proofs, Computability, Undecidability, Complexity
And The Lambda Calculus
An Introduction
(book in progress, to appear 2026)
Jean Gallier and Jocelyn Quaintance
Terms and Conditions
By downloading these files you are agreeing to
the following conditions of use: Copyright 2010 by Jean Gallier. This
material may be reproduced for any educational purpose, multiple copies
may be made for classes, etc. Charges, if any, for reproduced copies must
be no more than enough to recover reasonable costs of reproduction. Reproduction
for commercial purposes is prohibited. The cover page, which contains
these terms and conditions, must be included in all distributed copies.
It is not permitted to post this book
for downloading in any other web location,
though links to this page may be freely given.