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

18 titles, showing 1-18 sort by PRICE 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. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science) Buy it!

Save Show this book only

title size:
Dybjer, Peter, Andrew M. Pitts and Axel Poigne:
author size:
USD
38.09
price size:
NEPO UG /ZVAB
dealer size:
ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover 380 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 536 23,4 x 15,6 x 1,8 cm, Taschenbuch
[Rüsselsheim am Main, Germany] [Publication Year: 1989]
Show/Hide image
description size:
2. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science) Buy it!

Save Show this book only

Dybjer, Peter, Andrew M. Pitts and Axel Poigne:
author size:
USD
42.42
price size:
NEPO UG /AbebooksDE
dealer size:
ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover 380 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 536 23,4 x 15,6 x 1,8 cm, Taschenbuch
[Rüsselsheim am Main, Germany] [Publication Year: 1989]
Show/Hide image
description size:
3. Category Theory and Computer Science: Manchester UK September 5 8 1989. Proceedings Lecture Notes in Computer Science Buy it!

Save Show this book only

Pitt David H. Editor; Rydeheard David E. Editor; Dybjer Peter Editor; Pitts Andrew Editor; Poigne Axel Editor;
author size:
USD
50.27
price size:
GuthrieBooks /Biblio
dealer size:
Springer, Date: 1989-09-20. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. 1989. Springer ISBN 354051662X 9783540516620 [US]
description size:
4. Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science) Buy it!

Save Show this book only

Pitt, David H. [Editor]; Rydeheard, David E. [Editor]; Dybjer, Peter [Editor]; Pitts, Andrew [Editor]; Poigne, Axel [Editor];
author size:
USD
51.27
price size:
GuthrieBooks via Alibris /Alibris
dealer size:
Springer 1989-09-20 1989 ed. Paperback Very Good Size: 6x0x9; Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
description size:
5. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science) Buy it!

Save Show this book only

Pitt, David H. [Editor]; Rydeheard, David E. [Editor]; Dybjer, Peter [Editor]; Pitts, Andrew [Editor]; Poigne, Axel [Editor];
author size:
USD
51.27
price size:
GuthrieBooks /Abebooks
dealer size:
ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
[Spring Branch, TX, U.S.A.] [Publication Year: 1989]
description size:
6. Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings Buy it!

Save Show this book only

Pitt, David H (Editor), and Rydeheard, David E (Editor), and Dybjer, Peter (Editor)
author size:
USD
51.65
price size:
Alibris /Alibris
dealer size:
Berlin, Heidelberg Springer 1989 1989 ed. Trade paperback New. Trade paperback (US). Glued binding. 372 p. Lecture Notes in Computer Science, 389.
description size:
7. Category Theory and Computer Science:Manchester, UK, September 5-8, 1989. Proceedings Buy it!

Save Show this book only

Pitt, David H.
author size:
USD
53.16
price size:
Chiron Media /AbebooksUK
dealer size:
ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer 1989-08] Softcover
[Wallingford, United Kingdom] [Publication Year: 1989]
description size:
8. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science (389)) by Dybjer, Peter, Pitts, Andrew M., Poigne, Axel, Rydeheard, David E., Pitt, David H. [Paperback ] Buy it!

Save Show this book only

Dybjer, Peter, Pitts, Andrew M., Poigne, Axel, Rydeheard, David E., Pitt, David H.
author size:
USD
55.83
price size:
booksXpress /Abebooks
dealer size:
ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover
[Bayonne, NJ, U.S.A.] [Publication Year: 1989]
Show/Hide image
description size:
9. Category Theory and Computer Science:Manchester, UK, September 5-8, 1989. Proceedings Buy it!

Save Show this book only

David H. Pitt
author size:
USD
56.25
price size:
AHA-BUCH GmbH /ZVAB
dealer size:
ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
[Einbeck, Germany] [Publication Year: 1989]
Show/Hide image
description size:
10. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389) Buy it!

Save

N/A
author size:
USD
59.29
price size:
Lucky's Textbooks /Abebooks
dealer size:
ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover
[Dallas, TX, U.S.A.] [Publication Year: 1989]
description size:
11. Category Theory and Computer Science:Manchester UK September 5 8 1989. Proceedings Buy it!

Save Show this book only

David H. Pitt
author size:
USD
60.99
price size:
Ria Christie Collections /Biblio
dealer size:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings. ISBN 354051662x 9783540516620 [GB]
description size:
12. Category Theory and Computer Science:Manchester, UK, September 5-8, 1989. Proceedings Buy it!

Save Show this book only

David H. Pitt
author size:
USD
62.66
price size:
AHA-BUCH GmbH /AbebooksDE
dealer size:
ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
[Einbeck, Germany] [Publication Year: 1989]
Show/Hide image
description size:
13. Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings Buy it!

Save Show this book only

Pitt, David H (Editor), and Rydeheard, David E (Editor), and Dybjer, Peter (Editor)
author size:
USD
66.05
price size:
ShopSpell via Alibris /Alibris
dealer size:
Berlin, Heidelberg Springer 1989 1989 ed. Trade paperback New. Trade paperback (US). Glued binding. 372 p. Lecture Notes in Computer Science, 389.
description size:
14. Category Theory and Computer Science: Manchester UK September 5 8 1989. Proceedings Buy it!

Save Show this book only

David H. Pitt
author size:
USD
68.14
price size:
The Saint Bookstore /Biblio
dealer size:
Paperback / softback. New. ISBN 354051662x 9783540516620 [GB]
description size:
15. Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings Buy it!

Save Show this book only

Pitt, David H (Editor), and Rydeheard, David E (Editor), and Dybjer, Peter (Editor)
author size:
USD
69.01
price size:
Ria Christie Books via Alibris /Alibris
dealer size:
Berlin, Heidelberg Springer 1989 1989 ed. Trade paperback New. Trade paperback (US). Glued binding. 372 p. Lecture Notes in Computer Science, 389.
description size:
16. Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389) Buy it!

Save Show this book only

Pitt, David H (Editor), and Rydeheard, David E (Editor), and Dybjer, Peter (Editor)
author size:
USD
91.92
price size:
Bonita via Alibris /Alibris
dealer size:
Springer 1989 1989 ed. paperback Good Access codes and supplements are not guaranteed with used items. May be an ex-library book.
description size:
17. Category Theory and Computer Science: Manchester UK September 5 8 1989. Proceedings Lecture Notes in Computer Science Buy it!

Save Show this book only

David H. Pitt Editor David E. Rydeheard Editor Peter Dybjer Editor Andrew Pitts Editor Axel Poigne Editor
author size:
USD
94.49
price size:
Ergodebooks /Biblio
dealer size:
Springer, Date: 1989-09-20. 1989. Paperback. Used:Good. 1989. Springer ISBN 354051662X 9783540516620 [US]
description size:
18. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389) Buy it!

Save

N/A
author size:
USD
101.11
price size:
Mispah books /AbebooksUK
dealer size:
ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover Like New
[Redhill, SURRE, United Kingdom] [Publication Year: 1989]
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.
240515225414812935