{"product_id":"type-theory-lecture-notes-software-science-vol-1","title":"Type Theory (Lecture Notes \/ Software Science Vol. 1)","description":"\u003cp\u003eType Theory (Lecture Notes \/ Software Science Vol. 1)\u003c\/p\u003e\n\u003cp\u003eby Various\u003c\/p\u003e\n\u003cp\u003eAuthentic Japanese book — sourced in Japan and shipped worldwide with full tracking. A title from Japan, delivered straight to your door.\u003c\/p\u003e\n\u003cp\u003eISBN 9784844372103 · ISBN-10 4844372106\u003c\/p\u003e","brand":"Amanogawa","offers":[{"title":"Default Title","offer_id":53857681703023,"sku":"AB-9784844372103","price":46.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0580\/2849\/0863\/files\/9784844372103.jpg?v=1784590480","url":"https:\/\/amanogawa.cloud\/products\/type-theory-lecture-notes-software-science-vol-1","provider":"Amanogawa","version":"1.0","type":"link"}