{"product_id":"logic-for-computer-science-foundations-of-automatic-theorem-proving-second-edition-jean-gallier-9780486780825","title":"Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition","description":"\u003cp\u003e\u003cstrong\u003eFoundations of Automatic Theorem Proving, Second Edition\u003c\/strong\u003e\u003c\/p\u003e\n\u003cp\u003eBestel Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition van Jean Gallier.\u003c\/p\u003e\n\u003ch3\u003eProductspecificaties\u003c\/h3\u003e\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eAuteur:\u003c\/strong\u003e Jean Gallier\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eSerie:\u003c\/strong\u003e Dover Books on Computer Science\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eUitgever:\u003c\/strong\u003e Dover Publications Inc.\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eVerschijningsdatum:\u003c\/strong\u003e 2015-06-26\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eAantal pagina's:\u003c\/strong\u003e 544\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eISBN:\u003c\/strong\u003e 9780486780825\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eThema:\u003c\/strong\u003e Mathematical logic\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eBISAC:\u003c\/strong\u003e MATHEMATICS \/ Logic\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Intertaal","offers":[{"title":"Default Title","offer_id":56354488779092,"sku":"9780486780825","price":32.5,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0967\/0538\/0692\/files\/9780486780825.jpg?v=1783583440","url":"https:\/\/intertaalid.nl\/en\/products\/logic-for-computer-science-foundations-of-automatic-theorem-proving-second-edition-jean-gallier-9780486780825","provider":"Intertaal","version":"1.0","type":"link"}