• See large image

  Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) (Paperback) By (author) Bart Jacobs

  

  $112.17 - Save $7.83 (6%) - RRP $120.00 Free shipping worldwide (to United States and
  all these other countries) Usually dispatched within 48 hours Add to basket | Add to wishlist |

  Short Description for Categorical Logic and Type Theory Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.
  Full description

  • Publisher: Elsevier Science Ltd
  • Published: 24 May 2001
  • Format: Paperback 780 pages
  • See: Full bibliographic data
  • Categories: Mathematical Foundations | Mathematical Logic | Algebra | Algebraic Geometry | Applied Mathematics | Science: General Issues | Philosophy Of Science
  • ISBN 13: 9780444508539 ISBN 10: 0444508538
  • Sales rank: 693,177

• Set Theory

  

  Add to basket $104.00 -

• Classical Recursion Theory

  

  Add to basket $87.22 - Save $5.73 (6%) - RRP $92.95

• Categorical Logic and Type Theor...

  

  Add to basket $112.17 - Save $7.83 (6%) - RRP $120.00

• Stochastic Differential Equation...

  

  Add to basket $27.17 -

• Classical Recursion Theory: v.2

  

  Add to basket $181.00 -

Full description for Categorical Logic and Type Theory

• 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.