{"product_id":"logic-for-computer-science-foundations-of-automatic-theorem-proving-second-edition-dover-books-on-computer-science","title":"Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)","description":"\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\n\u003ch3\u003e\u003cstrong\u003eBook Details\u003c\/strong\u003e\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Jean H. Gallier\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003ePublisher:\u003c\/strong\u003e Dover Publications\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eLanguage:\u003c\/strong\u003e English\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eEdition:\u003c\/strong\u003e First Edition\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 9780486780825\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003ePages:\u003c\/strong\u003e 528\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eBinding:\u003c\/strong\u003e Paperback\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eDimensions:\u003c\/strong\u003e 9.2 x 6.2 x 1.1 inches\u003c\/p\u003e\n\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e\u003cstrong\u003eAbout The Book\u003c\/strong\u003e\u003c\/h3\u003e\n\u003cp\u003e\u003cem\u003eMathematical Logic: A First Course\u003c\/em\u003e by \u003cem\u003eJean H. Gallier\u003c\/em\u003e provides an advanced yet accessible introduction to mathematical logic, with a primary focus on proof theory and the algorithmic construction of formal proofs. This textbook is ideal for undergraduate and graduate students, as well as computer scientists and anyone with a keen interest in formalizing proofs and automatic theorem proving.\u003c\/p\u003e\n\u003cp\u003eThe book covers a wide range of critical topics in mathematical logic, beginning with propositional logic and its resolution methods, followed by an exploration of first-order logic. A detailed discussion of Gentzen’s cut elimination theorem and its applications is included, along with Gentzen's sharpened Hauptsatz and Herbrand's theorem, which are foundational results in proof theory.\u003c\/p\u003e\n\u003cp\u003eAdditionally, the book delves into more advanced topics such as SLD-resolution, logic programming, and the principles behind PROLOG. The coverage of many-sorted first-order logic offers further depth in understanding logical frameworks used in computer science.\u003c\/p\u003e\n\u003cp\u003eThis self-contained textbook is designed with numerous exercises throughout, making it a practical tool for self-study and classroom instruction. Two appendices provide essential background information for readers, ensuring they have all the necessary resources for mastering the material.\u003c\/p\u003e\n\u003cp\u003eWhether you're a student of mathematics or computer science, or a professional working in fields that require formal logic and proof systems, \u003cem\u003eMathematical Logic: A First Course\u003c\/em\u003e will equip you with a comprehensive understanding of these key topics. Its clear explanations and extensive problem sets make it an invaluable resource for anyone serious about the foundations of logic.\u003c\/p\u003e","brand":"Dover","offers":[{"title":"Default Title","offer_id":49912611406128,"sku":"Sarat_9780486780825","price":2349.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0690\/9968\/4144\/files\/dover-book-default-title-logic-for-computer-science-foundations-of-automatic-theorem-proving-second-edition-dover-books-on-computer-science-41212103688496.jpg?v=1775963950","url":"https:\/\/www.retailmaharaj.com\/bn\/products\/logic-for-computer-science-foundations-of-automatic-theorem-proving-second-edition-dover-books-on-computer-science","provider":"Retail Maharaj","version":"1.0","type":"link"}