[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Categorical Logic and Type Theory

Language EnglishEnglish
Book Paperback
Book Categorical Logic and Type Theory B. Jacobs
Libristo code: 04079613
Publishers Elsevier Science & Technology, May 2001
This book is an attempt to give a systematic presentation of both logic and type theory from a categ... Full description
? points 381 b
161.30 € včetně DPH
In stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Higher-Order Logic and Type Theory John L. Bell / Paperback
common.buy 26.75 €
National Electrical Safety Code 2007 Handbook David J Marne / Hardback
common.buy 111.64 €
Charles Nicolle, Pasteur's Imperial Missionary Kim Pelis / Hardback
common.buy 148.67 €
COMING SOON
America John Kinsella / Paperback
common.buy 11.23 €
Completions of Categories Joachim Lambek / Paperback
common.buy 49.98 €
Future Medical Engineering Based On Bionanotechnology - Proceedings Of The Final Symposium Of The Tohoku University 21st Century Center Of Excellence Yamaguchi Takami / Hardback
common.buy 502.66 €
A variational theory of convolution- Type functionals Roberto Alicandro / Paperback
common.buy 68.07 €
Torsion Theories, Additive Semantics, and Rings of Quotients Joachim Lambek / Paperback
common.buy 49.98 €
Migration Without Borders Pecoud Antoine / Hardback
common.buy 169.97 €
Temporal Type Theory Patrick Schultz / Hardback
common.buy 158.31 €
Judaism States Its Theology Jacob Neusner / Hardback
common.buy 139.79 €

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.

About the book

Full name Categorical Logic and Type Theory
Author B. Jacobs
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 778
EAN 9780444508539
ISBN 0444508538
Libristo code 04079613
Publishers Elsevier Science & Technology
Weight 1242
Dimensions 167 x 242 x 46

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Geometry > Algebraic geometry
Mathematics & Science > Mathematics > Algebra
Mathematics & Science > Mathematics > Applied mathematics
Mathematics & Science > Science: general issues > Philosophy of science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account