Sell, buy or rent Richard Statman textbooks

9780521766142-0521766141-Lambda Calculus with Types (Perspectives in Logic)
9780521766142-0521766141-Lambda Calculus with Types (Perspectives in Logic)

Lambda Calculus with Types (Perspectives in Logic)

by Henk Barendregt, Wil Dekkers, Richard Statman
ISBN-13: 9780521766142
ISBN-10: 0521766141
Edition: Illustrated
Publication date: 2013
Publisher: Cambridge University Press
Format: Hardcover 856 pages
Sell Buy from $89.82
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.