search for books and compare prices
By
Fabio Alessi (contributor),
Henk Barendregt,
Marc Bezem (contributor),
Wil Dekkers and
Richard Statman
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Hardcover
Bibliographic Detail
Publisher
Cambridge Univ Pr
Publication date
July 31, 2013
Pages
833
Binding
Hardcover
Book category
Adult Non-Fiction
ISBN-13
9780521766142
ISBN-10
0521766141
Dimensions
2 by 7 by 9.75 in.
Weight
3.60 lbs.
Published in
Great Britain
Original list price
$90.00
Other format details
university press
Amazon.com says people who bought this book also bought:
The Little Typer (MIT Press) | Programming in Haskell | The Lambda Calculus. Its Syntax and Semantics (Studies in Logic) | Lambda-Calculus and Combinators | Type Theory and Formal Proof | An Introduction to Functional Programming Through Lambda Calculus | Topoi
The Little Typer (MIT Press) | Programming in Haskell | The Lambda Calculus. Its Syntax and Semantics (Studies in Logic) | Lambda-Calculus and Combinators | Type Theory and Formal Proof | An Introduction to Functional Programming Through Lambda Calculus | Topoi
Summaries and Reviews
Editions
Hardcover
The price comparison is for this edition
With Marc Bezem (other contributor), Wil Dekkers, Henk Barendregt, Fabio Alessi (other contributor) |
from Cambridge Univ Pr (July 31, 2013)
9780521766142 | details & prices | 833 pages | 7.00 × 9.75 × 2.00 in. | 3.60 lbs | List price $90.00
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.