click to view more
Categorical Logic and Type Theory, 141
by B Jacobs
$138.01
Description
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.
...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
...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
Last updated on
Product Details
- Elsevier Science Brand
- May 10, 2001 Pub Date:
- 0444508538 ISBN-10:
- 9780444508539 ISBN-13:
- 778 Pages
- 9.21 in * 6.14 in * 1.55 in Dimensions:
- 2 lb Weight:
Money Back
Love it! Use it! Reuse it!
Free Shipping
Shipping is on us
Free Support
24/24 available
