Authors: Henk Barendregt, Jon Barwise, Keith Devlin, Jens Erik Fenstad, John Templeton Baldwin
Related Series: Cambridge Tracts in Theoretical Computer Science
The Perspectives in Logic book series by multiple authors includes books Lambda Calculus with Types, Proofs and Computations, Subsystems of Second Order Arithmetic, and several more. See the complete Perspectives in Logic series book list in order, box sets or omnibus editions, and companion titles.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.