{"product_id":"categorical-logic-and-type-theory-volume-141-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","brand":"Elsevier Science","offers":[{"title":"Default Title","offer_id":50844484927762,"sku":"9780444508539","price":131.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0831\/4771\/8930\/files\/img_fd222b29-7a8e-4bb7-a72f-a4bbdf493469.jpg?v=1737322434","url":"https:\/\/surprise-castle.myshopify.com\/products\/categorical-logic-and-type-theory-volume-141-9780444508539","provider":"Surprise Castle","version":"1.0","type":"link"}