{"product_id":"first-order-logic-by-raymond-m-smullyan","title":"First-Order Logic by Raymond M. Smullyan","description":"Secondhand paperback very good condition. Published by Dover Publications, 1995. Used paperback, very good condition. This completely self-contained study is widely considered the best book in the field of first-order logic and quantification theory. The book emphasizes the tableau point of view, covering propositional logic, first-order analytic tableaux, quantification theory, consistency properties, and Gentzen systems through a clear and mathematically elegant approach.Subjects: Books, Non Fiction, Vintage Non Fiction","brand":"BOOKS WORTH KEEPING","offers":[{"title":"Paperback","offer_id":43187701907515,"sku":"BWKP-0486683702","price":13.99,"currency_code":"NZD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0594\/9266\/3355\/files\/8432dd871aad872f87280d1613ed590a.jpg?v=1792107855","url":"https:\/\/booksworthkeeping.co.nz\/products\/first-order-logic-by-raymond-m-smullyan","provider":"Books Worth Keeping ","version":"1.0","type":"link"}