{"product_id":"mathematical-logic","title":"*^Mathematical Logic","description":"\u003cp\u003e\u003cstrong\u003eBook Details\u003c\/strong\u003e\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003ePublisher:\u003c\/strong\u003e Dover\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Stephen Cole Kleene\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\u003eISBN:\u003c\/strong\u003e 9780486425337\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003ePages:\u003c\/strong\u003e 416\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eCover:\u003c\/strong\u003e Paperback\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eRelease Date:\u003c\/strong\u003e 18-12-2002\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eDimensions:\u003c\/strong\u003e 8.5 x 5.6 x 1.3 inches\u003c\/p\u003e\n\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp\u003e\u003cstrong\u003eAbout The Book\u003c\/strong\u003e\u003cbr\u003e\u003cem\u003eMathematical Logic\u003c\/em\u003e by Stephen Cole Kleene is an invaluable text for undergraduate students venturing into the world of mathematical logic, especially those with no prior classroom instruction on the subject. Written by one of the greatest authorities on mathematical logic, this evenhanded and multipart text provides a thorough introduction to the subject, offering a balance of elementary yet comprehensive instruction.\u003c\/p\u003e\n\u003cp\u003eThe book is divided into two parts:\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003ePart I\u003c\/strong\u003e focuses on the mathematical logic of first-order logic, starting with foundational techniques. Students are introduced to \u003cstrong\u003emodel theory\u003c\/strong\u003e (truth tables), \u003cstrong\u003eHilbert-type proof theory\u003c\/strong\u003e, and \u003cstrong\u003eproof theory\u003c\/strong\u003e using derived rules. This structured approach ensures a clear understanding of the core elements of mathematical logic.\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003ePart II\u003c\/strong\u003e builds on the material from Part I, delving into newer concepts and significant twentieth-century advancements in logical research. This section covers formal \u003cstrong\u003enumber theory\u003c\/strong\u003e, as well as important results such as Gödel’s incompleteness and undecidability theorems, and contributions from key figures like \u003cstrong\u003eChurch\u003c\/strong\u003e and \u003cstrong\u003eTuring\u003c\/strong\u003e.\u003c\/p\u003e\n\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp\u003eThe final chapters of the book return to logic, exploring some of the most profound theorems in the field, including Gödel's \u003cstrong\u003ecompleteness theorem\u003c\/strong\u003e, \u003cstrong\u003eGentzen's theorem\u003c\/strong\u003e, \u003cstrong\u003eSkolem's paradox\u003c\/strong\u003e, and nonstandard models of arithmetic. These topics offer a deep dive into the foundational aspects of logic that have shaped modern mathematical theory.\u003c\/p\u003e\n\u003cp\u003eAn unabridged republication of the edition published by John Wiley \u0026amp; Sons, Inc. in 1967, this edition includes a preface, bibliography, theorem and lemma numbers, a list of postulates, symbols and notations, and an index, making it a complete and invaluable resource for anyone studying mathematical logic.\u003c\/p\u003e","brand":"Dover","offers":[{"title":"Default Title","offer_id":49921287553328,"sku":"Sarat_9780486425337","price":1779.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0690\/9968\/4144\/files\/dover-book-default-title-mathematical-logic-41235828179248.jpg?v=1775979750","url":"https:\/\/www.retailmaharaj.com\/bn\/products\/mathematical-logic","provider":"Retail Maharaj","version":"1.0","type":"link"}