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

4.4 avg rating
( 5 ratings by Goodreads )
 
9780444508539: Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)

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.

Top Search Results from the AbeBooks Marketplace

1.

B. Jacobs
Published by ELSEVIER SCIENCE TECHNOLOGY, United Kingdom (2001)
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Paperback Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE TECHNOLOGY, United Kingdom, 2001. Paperback. Book Condition: New. Reprint. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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. Bookseller Inventory # EOD9780444508539

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 113.10
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Jacobs, B.
Published by Butterworth-Heinemann (2016)
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Butterworth-Heinemann, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780444508539_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 113.11
Convert Currency

Add to Basket

Shipping: US$ 5.16
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Jacobs, B.
Published by Elsevier Science (2001)
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Elsevier Science, 2001. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9780444508539

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 120.34
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

4.

JACOBS, B.
Published by Elsevier Science (2001)
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Elsevier Science, 2001. Paperback. Book Condition: NEW. 9780444508539 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Bookseller Inventory # HTANDREE01201747

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 119.46
Convert Currency

Add to Basket

Shipping: US$ 10.66
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Jacobs, B.
Published by Butterworth-Heinemann 2001-05 (2001)
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Quantity Available: 5
Print on Demand
Seller:
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Butterworth-Heinemann 2001-05, 2001. Book Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Bookseller Inventory # NU-LSI-06966158

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 132.32
Convert Currency

Add to Basket

Shipping: US$ 3.99
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Jacobs, B.
Published by Elsevier Science (2001)
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Elsevier Science, 2001. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9780444508539

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 124.37
Convert Currency

Add to Basket

Shipping: US$ 12.00
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

JACOBS, B.
Published by Elsevier Science (2001)
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Elsevier Science, 2001. Paperback. Book Condition: NEW. 9780444508539 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Bookseller Inventory # HTANDREE0896392

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 135.94
Convert Currency

Add to Basket

Shipping: US$ 10.66
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

B. Jacobs
Published by ELSEVIER SCIENCE TECHNOLOGY, United Kingdom (2001)
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE TECHNOLOGY, United Kingdom, 2001. Paperback. Book Condition: New. Reprint. Language: English . Brand New Book ***** Print on Demand *****. 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. Bookseller Inventory # AAV9780444508539

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 147.23
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

B. Jacobs
Published by ELSEVIER SCIENCE TECHNOLOGY, United Kingdom (2001)
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE TECHNOLOGY, United Kingdom, 2001. Paperback. Book Condition: New. Reprint. Language: English . Brand New Book ***** Print on Demand *****.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. Bookseller Inventory # AAV9780444508539

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 150.67
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

B. Jacobs
Published by Elsevier Science (2001)
ISBN 10: 0444508538 ISBN 13: 9780444508539
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Elsevier Science, 2001. Hardcover. Book Condition: New. Bookseller Inventory # DADAX0444508538

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 147.49
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book