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

15 titles, showing 1-15 sort by TITLE 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. Twenty Five Years of Constructive Type Theory (Hardback) Buy it!

Save Show this book only

title size:
Sambin, Giovanni; Smith, Jan M.
author size:
USD
630.82
price size:
Iridium_Books /Abebooks
dealer size:
ISBN10: 0198501277, ISBN13: 9780198501275, [publisher: Clarendon Press] Hardcover
[DH, SE, Spain] [Publication Year: 1998]
description size:
2. Twenty Five Years of Constructive Type Theory Buy it!

Save Show this book only

Giovanni Sambin
author size:
USD
119.66
price size:
The Saint Bookstore /Biblio
dealer size:
Hardback. New. Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject. ISBN 0198501277 9780198501275 [GB]
description size:
3. Twenty Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice October 1995 Buy it!

Save Show this book only

Giovanni Sambin
author size:
USD
116.59
price size:
Ria Christie Collections /Biblio
dealer size:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. ISBN 0198501277 9780198501275 [GB]
description size:
4. Twenty Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice October 1995 Oxford Logic Guides 36 Buy it!

Save Show this book only

Sambin Giovanni; Smith Jan M
author size:
USD
160.35
price size:
GridFreed LLC /Biblio
dealer size:
Clarendon Press. Hardcover. New. New. In shrink wrap. Looks like an interesting title! Clarendon Press ISBN 0198501277 9780198501275 [US]
description size:
5. TWENTY-FIVE YEARS OF CONSTRUCTIV Buy it!

Save Show this book only

Sambin, Giovanni; Smith, Jan M.
author size:
USD
152.71
price size:
BennettBooksLtd /Abebooks
dealer size:
ISBN10: 0198501277, ISBN13: 9780198501275, [publisher: Clarendon Press] Hardcover New. In shrink wrap. Looks like an interesting title! 1.3
[North Las Vegas, NV, U.S.A.] [Publication Year: 1998]
description size:
6. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides (36)) Buy it!

Save Show this book only

Sambin, Giovanni, Smith, Jan M.
author size:
USD
211.74
price size:
Mispah books /AbebooksUK
dealer size:
ISBN10: 0198501277, ISBN13: 9780198501275, [publisher: Clarendon Press] Hardcover Like New
[Redhill, SURRE, United Kingdom] [Publication Year: 1998]
description size:
7. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides) Buy it!

Save Show this book only

Sambin, Giovanni; Smith, Jan M.
author size:
USD
133.90
price size:
Lucky's Textbooks /Abebooks
dealer size:
ISBN10: 0198501277, ISBN13: 9780198501275, [publisher: Clarendon Press] Hardcover
[Dallas, TX, U.S.A.] [Publication Year: 1998]
description size:
8. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides, 36) Buy it!

Save Show this book only

Sambin, Giovanni, Smith, Jan M.
author size:
USD
81.81
price size:
HPB-Red via Alibris /Alibris
dealer size:
Clarendon Press 1998 hardcover Good Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
description size:
9. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides, 36) Buy it!

Save Show this book only

Sambin, Giovanni,Smith, Jan M.
author size:
USD
81.81
price size:
HPB-Red /Abebooks
dealer size:
ISBN10: 0198501277, ISBN13: 9780198501275, [publisher: Clarendon Press] Hardcover Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
[Dallas, TX, U.S.A.] [Publication Year: 1998]
description size:
10. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 Buy it!

Save Show this book only

Sambin, Giovanni, and Smith, Jan M
author size:
USD
141.95
price size:
Booksplease via Alibris /Alibris
dealer size:
Clarendon Press 1998 Hard cover New. Sewn binding. Cloth over boards. 296 p. Oxford Logic Guides, 36.
description size:
11. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 Buy it!

Save Show this book only

Sambin, Giovanni, and Smith, Jan M
author size:
USD
122.49
price size:
Ria Christie Books via Alibris /Alibris
dealer size:
Clarendon Press 1998 Hard cover New. Sewn binding. Cloth over boards. 296 p. Oxford Logic Guides, 36.
description size:
12. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 Buy it!

Save Show this book only

Sambin, Giovanni, and Smith, Jan
author size:
USD
117.56
price size:
Alibris /Alibris
dealer size:
OUP Oxford 1998 Hard cover New. Sewn binding. Cloth over boards. 296 p. Oxford Logic Guides, 36.
description size:
13. Twenty-Five Years of Constructive TypSambin, Giovanni; Smith, Jan M. Buy it!

Save Show this book only

Sambin, Giovanni; Smith, Jan M.
author size:
USD
654.30
price size:
Iridium_Books /Abebooks
dealer size:
ISBN10: 0198501277, ISBN13: 9780198501275, [publisher: Clarendon Press] Hardcover
[DH, SE, Spain] [Publication Year: 1998]
description size:
14. Twentyfive Years of Constructive Type Theory Proceedings of a Congress Held in Venice, October 1995 36 Oxford Logic Guides Buy it!

Save Show this book only

Sambin, Giovanni
author size:
USD
121.20
price size:
Books2anywhere via Alibris /Alibris
dealer size:
Clarendon Press 10/15/1998 12: 00: 00 AM Hardcover PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
description size:
15. Twentyfive Years of Constructive Type Theory Proceedings of a Congress Held in Venice, October 1995 36 Oxford Logic Guides Buy it!

Save Show this book only

Sambin, Giovanni
author size:
USD
128.42
price size:
Paperbackshop International via Alibris /Alibris
dealer size:
Clarendon Press 10/15/1998 12: 00: 00 AM Hardcover PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
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.
240425181509364151