{"product_id":"9780521395380","title":"The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)","description":"\u003cp\u003eIn this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":49689676153080,"sku":"00000_00000_00000_00000","price":160.58,"currency_code":"AUD","in_stock":true}],"url":"https:\/\/kinokuniya.com.au\/products\/9780521395380","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}