FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

  • Safe delivery by Christmas SANTA SAFE
    Categorical Logic and Type Theory

Categorical Logic and Type Theory

B. Jacobs
    Product form
      FORMAT: Paperback / softback

      R 3,531.00 Price and availability exclusive to website

      YOU COULD EARN 3,531 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 20 - 30 Business Days
      BUY NOW PAY LATER
      From R 588.50 per month!
      3x monthly payments of R 1,177.00 with
      4x fortnightly payments of R 882.75 with
      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.
      Format: CONTRIBUTORS: B. Jacobs EAN: 9780444508539 COUNTRY: United Kingdom PAGES: WEIGHT: 1200 g HEIGHT: 234 cm
      PUBLISHED BY: Elsevier Science & Technology DATE PUBLISHED: 2001-05-10 CITY: GENRE: MATHEMATICS / Algebra / General, MATHEMATICS / Applied WIDTH: 156 cm SPINE:

      Book Themes:

      Mathematical foundations, Mathematical logic

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      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.
      Format: CONTRIBUTORS: B. Jacobs EAN: 9780444508539 COUNTRY: United Kingdom PAGES: WEIGHT: 1200 g HEIGHT: 234 cm
      PUBLISHED BY: Elsevier Science & Technology DATE PUBLISHED: 2001-05-10 CITY: GENRE: MATHEMATICS / Algebra / General, MATHEMATICS / Applied WIDTH: 156 cm SPINE:

      Book Themes:

      Mathematical foundations, Mathematical logic

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account