{"product_id":"categorical-logic-and-type-theory-b-jacobs-9780444508539","title":"Categorical Logic and Type Theory: Volume 141","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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e B. Jacobs\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0444508538\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780444508539\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Elsevier Science\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/10\/2001\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 778\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.36lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 1.55d","brand":"B. Jacobs","offers":[{"title":"Paperback","offer_id":43919771107583,"sku":"9780444508539","price":120.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/products\/img_b83882b9-9872-4f55-bbbc-0d875a361e51.jpg?v=1680811811","url":"https:\/\/www.whiterainbookhouse.com\/products\/categorical-logic-and-type-theory-b-jacobs-9780444508539","provider":"WR Book House","version":"1.0","type":"link"}