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.

Seller Inventory # 00008059

Contact seller

Report this item

Bibliographic Details

Title

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)

Publisher

Elsevier Science, Elsevier Science

Publication Date

1999

Language

English

ISBN 10

0444501703

ISBN 13

9780444501707

Binding

Hardcover

Condition

Very Good

Dust Jacket Condition

None

Seller catalogs

About this title

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.

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.

Store Description

An independent bookseller located in the Midwest United States.

Visit Seller's Storefront

Seller's business information

Sale & Shipping Terms

Terms of Sale

We offer a wide variety of books, including textbooks, collectible editions, popular titles, cookbooks, and more. We are committed to accurate descriptions, careful handling, and excellent customer service.

Condition Guarantee

We carefully inspect every item prior to listing it for sale to ensure accuracy in condition and description. All items are guaranteed to match their listed condition. If you are not satisfied with your purchase for any reason, we accept returns within 30 day...

More Information

Shipping Terms

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 4.98	US$ 10.98

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.