The Lambda Calculus Its Syntax and Semantics by Henk Barendregt

Uncommonly Good Books

Biblio offers over 100 million second-hand books and rare books by working with the finest booksellers in the world.