Home Book reviews
Author field first Title field first Classic page
Used Book Memo Saved Search New Book Memo
Blank new search Keep last search terms Advanced blank new page Advanced/classic keep search terms Classic blank new search
Contact
☰

DISCLOSURE: When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.

Please share to

26 titles, showing 1-26 sort by OWNER ASC.
Please follow us on AddALL Facebook page twitter page
TITLE

SORT

change title size:
AUTHOR

SORT

change author size:
PRICE

DEALER / SITE

SORT

DESCRIPTION

 

change description size:
1. Lambda Calculus with Types Buy it!

Save Show this book only

title size:
Henk Barendregt
author size:
USD
140.01
price size:
AHA-BUCH GmbH /AbebooksDE
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover Druck auf Anfrage Neuware - Printed after ordering - This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
[Einbeck, Germany] [Publication Year: 2013]
Show/Hide image
description size:
2. Lambda Calculus with Types Buy it!

Save Show this book only

Henk Barendregt
author size:
USD
126.86
price size:
AHA-BUCH GmbH /ZVAB
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover Druck auf Anfrage Neuware - Printed after ordering - This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
[Einbeck, Germany] [Publication Year: 2013]
Show/Hide image
description size:
3. Lambda Calculus with Types Buy it!

Save Show this book only

Barendregt, Henk, and Dekkers, Wil, and Statman, Richard
author size:
USD
89.43
price size:
Alibris /Alibris
dealer size:
Cambridge Cambridge University Press 2013 Hard cover New. 856 p. Perspectives in Logic . Worked examples or Exercises; 2 Halftones, unspecified; 50 Line drawings, unspecified. Intended for professional and scholarly audience.
description size:
4. Lambda Calculus With Types (Hardback Or Cased Book) Buy it!

Save Show this book only

Barendregt, Henk
author size:
USD
112.33
price size:
BargainBookStores via Alibris /Alibris
dealer size:
Cambridge University Press 6/11/2014 Hardback or Cased Book New in New jacket Lambda Calculus with Types (Hardback or Cased Book)
description size:
5. Lambda Calculus with Types Buy it!

Save Show this book only

Dekkers Wil Barendregt Henk Statman Richard
author size:
USD
83.43
price size:
Better World Books Ltd /Biblio
dealer size:
Cambridge University Press. Used - Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Cambridge University Press ISBN 0521766141 9780521766142 [GB]
description size:
6. Lambda Calculus with Types Buy it!

Save Show this book only

Dekkers, Wil, Barendregt, Henk, Statman, Richard
author size:
USD
83.30
price size:
Better World Books Ltd /AbebooksUK
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
[Dunfermline, United Kingdom] [Publication Year: 2013]
description size:
7. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk; Dekkers, Wil; Statman, Richard
author size:
USD
129.73
price size:
Book Deals /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover New! This book is in the same immaculate condition as when it was published
[Tucson, AZ, U.S.A.] [Publication Year: 2013]
description size:
8. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk; Dekkers, Wil; Statman, Richard
author size:
USD
129.73
price size:
Books Unplugged /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover Buy with confidence! Book is in new, never-used condition
[Amherst, NY, U.S.A.] [Publication Year: 2013]
description size:
9. Lambda Calculus with Types Buy it!

Save Show this book only

Barendregt, Henk, and Dekkers, Wil, and Statman, Richard
author size:
USD
125.43
price size:
Booksplease via Alibris /Alibris
dealer size:
Cambridge Cambridge University Press 2013 Hard cover New. Contains: Line drawings, Halftones, Unspecified. Perspectives in Logic . 52 b/w illus. 300 exercises. Intended for professional and scholarly audience.
description size:
10. Lambda Calculus with Types (Perspectives in Logic) by Barendregt, Henk, Dekkers, Wil, Statman, Richard [Hardcover ] Buy it!

Save Show this book only

Barendregt, Henk, Dekkers, Wil, Statman, Richard
author size:
USD
115.34
price size:
booksXpress /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover
[Bayonne, NJ, U.S.A.] [Publication Year: 2013]
Show/Hide image
description size:
11. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk; Dekkers, Wil; Statman, Richard
author size:
USD
172.30
price size:
Front Cover Books /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover
[Denver, CO, U.S.A.] [Publication Year: 2013]
description size:
12. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk; Dekkers, Wil; Statman, Richard
author size:
USD
129.73
price size:
GF Books, Inc. /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting.
[Hawthorne, CA, U.S.A.] [Publication Year: 2013]
description size:
13. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk
author size:
USD
203.90
price size:
GoldBooks /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover New Copy. Customer Service Guaranteed
[Denver, CO, U.S.A.] [Publication Year: 2013]
description size:
14. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk
author size:
USD
137.45
price size:
GoldBooks /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover Very Good Copy. Customer Service Guaranteed
[Denver, CO, U.S.A.] [Publication Year: 2013]
description size:
15. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk; Dekkers, Wil; Statman, Richard
author size:
USD
355.24
price size:
GoldenDragon /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover Buy for Great customer experience
[Houston, TX, U.S.A.] [Publication Year: 2013]
description size:
16. Lambda Calculus With Types Buy it!

Save Show this book only

Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON)
author size:
USD
101.22
price size:
GreatBookPrices /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover
[Columbia, MD, U.S.A.] [Publication Year: 2013]
Show/Hide image
description size:
17. Lambda Calculus With Types Buy it!

Save Show this book only

Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON)
author size:
USD
97.69
price size:
GreatBookPricesUK /AbebooksUK
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover
[Castle Donington, DERBY, United Kingdom] [Publication Year: 2013]
Show/Hide image
description size:
18. Lambda Calculus With Types Hb Buy it!

Save Show this book only

Vv.Aa.
author size:
USD
1064.97
price size:
Iridium_Books /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: CAMBRIDGE] Hardcover
[DH, SE, Spain] [Publication Year: 2013]
description size:
19. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk; Dekkers, Wil; Statman, Richard
author size:
USD
99.88
price size:
Lucky's Textbooks /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover
[Dallas, TX, U.S.A.] [Publication Year: 2013]
description size:
20. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk, Dekkers, Wil, Statman, Richard
author size:
USD
144.89
price size:
Mispah books /AbebooksUK
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover Like New
[Redhill, SURRE, United Kingdom] [Publication Year: 2013]
description size:
21. Lambda Calculus With Types Buy it!

Save Show this book only

Barendregt, Henk/ Dekkers, Wil/ Statman, Richard
author size:
USD
114.67
price size:
Revaluation Books /AbebooksUK
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge Univ Pr] Hardcover 700 pages. 9.84x7.09x1.97 inches. In Stock.
[Exeter, United Kingdom] [Publication Year: 2013]
description size:
22. Lambda Calculus with Types Buy it!

Save Show this book only

Barendregt, Henk, and Dekkers, Wil, and Statman, Richard
author size:
USD
113.12
price size:
Ria Christie Books via Alibris /Alibris
dealer size:
Cambridge Cambridge University Press 2013 Hard cover New. 856 p. Perspectives in Logic . Worked examples or Exercises; 2 Halftones, unspecified; 50 Line drawings, unspecified. Intended for professional and scholarly audience.
description size:
23. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk; Dekkers, Wil; Statman, Richard
author size:
USD
97.70
price size:
Ria Christie Collections /AbebooksUK
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover In
[Uxbridge, United Kingdom] [Publication Year: 2013]
description size:
24. Lambda Calculus with Types Perspectives in Logic Buy it!

Save Show this book only

Barendregt Henk
author size:
USD
124.94
price size:
Russell Books Ltd /Biblio
dealer size:
Cambridge University Press. New. Special order direct from the distributor Cambridge University Press ISBN 0521766141 9780521766142 [CA]
description size:
25. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk
author size:
USD
124.94
price size:
Russell Books /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover First Edition Special order direct from the distributor
[Victoria, BC, Canada] [Publication Year: 2013]
description size:
26. Lambda Calculus with Types (Perspectives in Logic) Buy it!

Save Show this book only

Barendregt, Henk; Dekkers, Wil; Statman, Richard
author size:
USD
353.15
price size:
Wizard Books /Abebooks
dealer size:
ISBN10: 0521766141, ISBN13: 9780521766142, [publisher: Cambridge University Press] Hardcover New
[Long Beach, CA, U.S.A.] [Publication Year: 2013]
description size:

DISCLOSURE: When you use one of our links to make a purchase, we may earn a commission at no extra cost to you.
As an Amazon Associate, AddALL earn commission from qualifying Amazon purchases.

TOO Many Search Results? Refine it!
Exclude: (what you don't want)
Include: (what you want)
Search Results Sort By:
[Privacy policy | Random quotes | Link to us | About us ]
Copyright © 1998-, Addall.com Pte Ltd. All rights reserved.
240430081741572732