{"product_id":"9783032222381","title":"Formal Proofs in Elementary Set Theory Rules of Logic for Formal Proofs in Zermelo Set Theory","description":"\u003ch3\u003eSpringerBriefs in Applied Sciences and Technology SpringerBriefs in Computational Intelligence\u003c\/h3\u003e\u003ch1\u003eFormal Proofs in Elementary Set Theory\u003c\/h1\u003e\u003ch2\u003eRules of Logic for Formal Proofs in Zermelo Set Theory\u003c\/h2\u003e\u003ch3\u003eKrishna Suryanarayan\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eComputers \/ Artificial Intelligence \/ General\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003e\u003cp\u003eThe book gives a summary of the rules of logic required to write formal proofs. The book gives formal proofs for theorems in elementary set theory based on Zermelo axioms. The book includes a proof of the existence of a Peano system which provides a foundation for the number theory. The book helps the reader to write formal proofs. The book serves as a reference for a course on formal proofs. It can be used to develop a software that can be used to write and verify formal proofs.\u003c\/p\u003e\u003c\/div\u003e\u003cdiv\u003e\u003cp\u003e\u003cspan style=\"color: black;\"\u003eKrishna Suryanarayan is an Associate Professor of Electrical Engineering at Indian Institute of Technology Madras, Chennai, India. He received B.E. degree from Bangalore University in 1995 and M.E. and Ph.D. degrees from Indian Institute of Science, Bangalore, in 1999 and 2003, respectively. He worked with Kirloskar Electric, Bangalore, from 1995 to 1997 and M.S. Ramaiah Institute of Technology, Bangalore, from 2003 to 2008. His areas of research interest are power system studies and formal proofs. He was an Associate Editor of SADHANA, a Journal of the Indian Academy of Sciences, from 2013 to 2015. He has authored a book titled “An Introduction to Modelling of Power System Components\".\u003c\/span\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e29 June 2026\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eSpringer Nature Switzerland\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eSpringer\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9783032222381\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003ePaperback \/ softback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e134\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Springer Nature Switzerland","offers":[{"title":"Default Title","offer_id":46412106137740,"sku":"9783032222381","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783032222381.jpg?v=1780594722","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783032222381","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}