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.

Happy he who learns to bear what he cannot change.

Friedrich Schiller

One more random pick among 2000+ quotes

touch the result table below to hide quote

Search for "Keyword: 0198501277 ,ISBN: 0198501277, " ..
this may take at most 15 seconds ..
 
Search done, now sorting ..
Please share to
Our search for Keyword: 0198501277 ,ISBN: 0198501277, brought up 15 title(s), showing 1 - 15. 10 removed. Sorting by Price Ascending.
Save this search Show quote
Search for "ISBN: 0198501277" at eBay
Please follow us on AddALL Facebook page twitter page
TITLE

SORT

change title size: 16
AUTHOR

SORT

change author size: 16
PRICE

16
Bookstore

SORT

16
DESCRIPTION

 

change description size: 16
1. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides, 36) Buy it! New Tab

Save Show this book only

title size: 16

Sambin, Giovanni, Smith, Jan M.
author size: 16
USD
81.81
price size: 16
HPB-Red via Alibris /Alibris
dealer size: 16
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: 16
2. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides, 36) Buy it! New Tab

Save Show this book only

Sambin, Giovanni,Smith, Jan M.
USD
81.81
HPB-Red /Abebooks
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]
3. Twenty Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice October 1995 Buy it! New Tab

Save Show this book only

Giovanni Sambin
USD
116.59
Ria Christie Collections /Biblio
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]
4. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 Buy it! New Tab

Save Show this book only

Sambin, Giovanni, and Smith, Jan
USD
117.56
Alibris /Alibris
OUP Oxford 1998 Hard cover New. Sewn binding. Cloth over boards. 296 p. Oxford Logic Guides, 36.
5. Twenty Five Years of Constructive Type Theory Buy it! New Tab

Save Show this book only

Giovanni Sambin
USD
119.66
The Saint Bookstore /Biblio
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]
6. Twentyfive Years of Constructive Type Theory Proceedings of a Congress Held in Venice, October 1995 36 Oxford Logic Guides Buy it! New Tab

Save Show this book only

Sambin, Giovanni
USD
121.20
Books2anywhere via Alibris /Alibris
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.
7. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 Buy it! New Tab

Save Show this book only

Sambin, Giovanni, and Smith, Jan M
USD
122.49
Ria Christie Books via Alibris /Alibris
Clarendon Press 1998 Hard cover New. Sewn binding. Cloth over boards. 296 p. Oxford Logic Guides, 36.
8. Twentyfive Years of Constructive Type Theory Proceedings of a Congress Held in Venice, October 1995 36 Oxford Logic Guides Buy it! New Tab

Save Show this book only

Sambin, Giovanni
USD
128.42
Paperbackshop International via Alibris /Alibris
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.
9. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides) Buy it! New Tab

Save Show this book only

Sambin, Giovanni; Smith, Jan M.
USD
133.90
Lucky's Textbooks /Abebooks
ISBN10: 0198501277, ISBN13: 9780198501275, [publisher: Clarendon Press] Hardcover
[Dallas, TX, U.S.A.] [Publication Year: 1998]
10. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 Buy it! New Tab

Save Show this book only

Sambin, Giovanni, and Smith, Jan M
USD
141.95
Booksplease via Alibris /Alibris
Clarendon Press 1998 Hard cover New. Sewn binding. Cloth over boards. 296 p. Oxford Logic Guides, 36.
11. TWENTY-FIVE YEARS OF CONSTRUCTIV Buy it! New Tab

Save Show this book only

Sambin, Giovanni; Smith, Jan M.
USD
152.71
BennettBooksLtd /Abebooks
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]
12. Twenty Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice October 1995 Oxford Logic Guides 36 Buy it! New Tab

Save Show this book only

Sambin Giovanni; Smith Jan M
USD
160.35
GridFreed LLC /Biblio
Clarendon Press. Hardcover. New. New. In shrink wrap. Looks like an interesting title! Clarendon Press ISBN 0198501277 9780198501275 [US]
13. Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides (36)) Buy it! New Tab

Save Show this book only

Sambin, Giovanni, Smith, Jan M.
USD
211.74
Mispah books /AbebooksUK
ISBN10: 0198501277, ISBN13: 9780198501275, [publisher: Clarendon Press] Hardcover Like New
[Redhill, SURRE, United Kingdom] [Publication Year: 1998]
14. Twenty Five Years of Constructive Type Theory (Hardback) Buy it! New Tab

Save Show this book only

Sambin, Giovanni; Smith, Jan M.
USD
630.82
Iridium_Books /Abebooks
ISBN10: 0198501277, ISBN13: 9780198501275, [publisher: Clarendon Press] Hardcover
[DH, SE, Spain] [Publication Year: 1998]
15. Twenty-Five Years of Constructive TypSambin, Giovanni; Smith, Jan M. Buy it! New Tab

Save Show this book only

Sambin, Giovanni; Smith, Jan M.
USD
654.30
Iridium_Books /Abebooks
ISBN10: 0198501277, ISBN13: 9780198501275, [publisher: Clarendon Press] Hardcover
[DH, SE, Spain] [Publication Year: 1998]

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.

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