Items related to Categorical Logic and Type Theory (Volume 141) (Studies...

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141) - Softcover

  • 4.65 out of 5 stars
    17 ratings by Goodreads
 
9780444508539: Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

Synopsis

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.

"synopsis" may belong to another edition of this title.

Review

...The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items...
Zentralblatt für Mathematik, vol.905
R.A.G. Seely
This book will be the standard reference in its field for some time to come.
The Bulletin of Symbolic Logic, Vol. 6

"About this title" may belong to another edition of this title.

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

US$ 2.64 shipping within U.S.A.

Destination, rates & speeds

Buy New

View this item

US$ 12.85 shipping from Italy to U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9780444501707: Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

Featured Edition

ISBN 10:  0444501703 ISBN 13:  9780444501707
Publisher: Elsevier Science, 1999
Hardcover

Search results for Categorical Logic and Type Theory (Volume 141) (Studies...

Stock Image

Jacobs, B.
Published by Elsevier Science, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Softcover
Print on Demand

Seller: Brook Bookstore On Demand, Napoli, NA, Italy

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: new. Questo è un articolo print on demand. Seller Inventory # 1b18fa390a4af65ec74e2dfbd9cbf93e

Contact seller

Buy New

US$ 118.43
Convert currency
Shipping: US$ 12.85
From Italy to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

B. Jacobs
Published by Elsevier Science 2001-10-05, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Paperback

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Paperback. Condition: New. Seller Inventory # 6666-ELS-9780444508539

Contact seller

Buy New

US$ 118.61
Convert currency
Shipping: US$ 20.92
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Jacobs B.
Published by Elsevier, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Softcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: 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. Seller Inventory # 5784735

Contact seller

Buy New

US$ 130.88
Convert currency
Shipping: US$ 8.78
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 3 available

Add to basket

Stock Image

Jacobs, B.
Published by Elsevier Science, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9780444508539

Contact seller

Buy New

US$ 132.55
Convert currency
Shipping: US$ 7.98
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Jacobs, Bart
Published by Elsevier Science, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 1615196-n

Contact seller

Buy New

US$ 142.90
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Jacobs, B.
Published by Elsevier Science, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Feb2215580211806

Contact seller

Buy New

US$ 141.56
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

B. Jacobs
Published by Elsevier, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 780. Seller Inventory # 263144512

Contact seller

Buy New

US$ 148.54
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 3 available

Add to basket

Seller Image

B. Jacobs
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. 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. Seller Inventory # 9780444508539

Contact seller

Buy New

US$ 129.96
Convert currency
Shipping: US$ 26.87
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Jacobs, Bart
Published by Elsevier Science, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 1615196

Contact seller

Buy Used

US$ 167.14
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

B. Jacobs
Published by Elsevier Science & Technology, 2001
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Paperback / softback

Seller: THE SAINT BOOKSTORE, Southport, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 1260. Seller Inventory # B9780444508539

Contact seller

Buy New

US$ 147.96
Convert currency
Shipping: US$ 26.14
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 12 more copies of this book

View all search results for this book