Order Total (1 Item Items):
Shipping Destination:
Categorical Logic Type Theory by Jacobs (22 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (22)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (19)
- As New, Fine or Near Fine (2)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (19)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics)
Published by Elsevier Science 2001-10-05, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
Language: English
US$ 117.51
Convert currencyUS$ 20.73 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
US$ 130.88
Convert currencyUS$ 8.70 shipping from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New. pp. 780 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Condition: New. SUPER FAST SHIPPING.
-
US$ 142.90
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 141.56
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. pp. 780.
-
Categorical Logic and Type Theory: Volume 141
Published by Elsevier Science & Technology, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 146.59
Convert currencyUS$ 25.90 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 1260.
-
US$ 167.14
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 163.37
Convert currencyUS$ 11.58 shipping from Germany to U.S.A.Quantity: 3 available
Add to basketCondition: New. pp. 780.
-
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 159.24
Convert currencyUS$ 16.03 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Categorical Logic and Type Theory
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 159.23
Convert currencyUS$ 20.07 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Categorical Logic and Type Theory
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 180.71
Convert currencyUS$ 20.07 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
Published by Elsevier Science Ltd, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
Language: English
US$ 212.00
Convert currencyUS$ 33.46 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. reprint edition. 780 pages. 8.75x6.00x1.50 inches. In Stock.
-
Categorical Logic and Type Theory
Published by Elsevier Science and Technology, GB, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 242.99
Convert currencyFree shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New. Reprint. This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
-
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
Published by Elsevier Science, Elsevier Science, 1999
ISBN 10: 0444501703 ISBN 13: 9780444501707
Language: English
Hardcover. Condition: Very Good. Dust Jacket Condition: None. Very Good. Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) by B. Jacobs. Elsevier Science, 1999. 760pp. Language: English. Note: Ex library book with the usual stamps, stickers, and marks.
-
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
Published by Elsevier Science Ltd, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
Language: English
US$ 221.80
Convert currencyUS$ 33.46 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 780 pages. 8.75x6.00x1.50 inches. In Stock.
-
Categorical Logic and Type Theory
Published by Elsevier Science and Technology, GB, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
Language: English
US$ 232.64
Convert currencyUS$ 86.99 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New. Reprint. This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
-
US$ 363.63
Convert currencyUS$ 33.46 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 784 pages. 9.00x1.77x6.00 inches. In Stock.
-
Paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
Categorical Logic and Type Theory
Published by Elsevier Science & Technology, Elsevier Science, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
US$ 129.41
Convert currencyUS$ 26.76 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists. Englisch.
-
Categorical Logic and Type Theory: Volume 141
Published by Elsevier Science & Technology, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 193.06
Convert currencyUS$ 25.90 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1260.
-
Categorical Logic and Type Theory
Published by Elsevier Science & Technology, Elsevier Science, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
Language: English
US$ 147.38
Convert currencyUS$ 76.78 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
