{"product_id":"benzmueller-christoph-reasoning-in-simple-type-theory-festschrift-in-honor-of-peter-b-andrews-on-his-70th-birthday-studies-in-logic-mathematical-logic-and-foundations-9781904987703","title":"Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)","description":null,"brand":"College Publications","offers":[{"title":"Default Title","offer_id":53729634976086,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9781904987703_1.jpg?v=1781777519","url":"https:\/\/www.momoxbooks.com\/products\/benzmueller-christoph-reasoning-in-simple-type-theory-festschrift-in-honor-of-peter-b-andrews-on-his-70th-birthday-studies-in-logic-mathematical-logic-and-foundations-9781904987703","provider":"momoxbooks","version":"1.0","type":"link"}