{"product_id":"foundations-of-mathematical-logic","title":"Foundations Of Mathematical Logic","description":"\u003cp\u003e\u003cstrong\u003eBook Details:\u003c\/strong\u003e\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Haskell B. Curry\u003c\/p\u003e\n\u003c\/li\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\u003eEdition:\u003c\/strong\u003e 2nd Edition\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\u003eNumber of Pages:\u003c\/strong\u003e 416\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0800759634620\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eRelease Date:\u003c\/strong\u003e 21-10-2010\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eLanguages:\u003c\/strong\u003e English\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003ePackage Dimensions:\u003c\/strong\u003e 8.5 x 5.5 x 0.9 inches\u003c\/p\u003e\n\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003chr\u003e\n\u003cp\u003e\u003cstrong\u003eAbout the Book:\u003c\/strong\u003e\u003c\/p\u003e\n\u003cp\u003eWritten by the pioneering figure in mathematical logic, Haskell B. Curry, this comprehensive graduate-level text, \u003cem\u003eFoundations of Mathematical Logic\u003c\/em\u003e, delves deeply into the constructive theory of first-order predicate calculus. The book, first published in 1963, is an essential read for anyone interested in understanding formal systems, algorithms, and the foundation of mathematical logic.\u003c\/p\u003e\n\u003cp\u003eCurry’s text covers key topics including formal systems, algorithms, epitheory, and a brief treatment of Markov’s approach to algorithms. Additionally, it introduces elementary concepts regarding lattices and similar algebraic structures, offering insights into logical algebras and relational logical algebra.\u003c\/p\u003e\n\u003cp\u003eThe text is divided into well-structured chapters, each exploring a critical aspect of mathematical logic. It begins with foundational topics such as the nature of mathematics and the logical antinomies, followed by an in-depth discussion on formal systems, systems of logical algebras, and the theory of implication. The later chapters tackle more advanced concepts, including negation, quantification, and modality, with an emphasis on classical formulations and the use of L systems.\u003c\/p\u003e\n\u003cp\u003ePerfect for graduate students in mathematics and logic, this book presents a rigorous and thorough approach to the subject while remaining accessible with its clear explanations and well-structured content. It also provides numerous supplementary topics, making it a valuable resource for self-study and reference.\u003c\/p\u003e","brand":"Dover","offers":[{"title":"Default Title","offer_id":49937701339440,"sku":"Sarat_9780486634623","price":2135.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0690\/9968\/4144\/files\/dover-book-default-title-foundations-of-mathematical-logic-41280387186992.jpg?v=1775941952","url":"https:\/\/www.retailmaharaj.com\/bn\/products\/foundations-of-mathematical-logic","provider":"Retail Maharaj","version":"1.0","type":"link"}