{"product_id":"formal-proofs-in-elementary-set-theory-von-krishna-suryanarayan","title":"Formal Proofs in Elementary Set Theory","description":"\n                                \n                \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\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783032222381\"\u003e\u003ch3\u003eRules of Logic for Formal Proofs in Zermelo Set Theory\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783032222381","offer_id":58985543598405,"sku":"9783032222381","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/73461_4538b1a2-0d3a-4934-8948-1868f9ae546d.jpg?v=1787717609","url":"https:\/\/shop.autorenwelt.de\/en\/products\/formal-proofs-in-elementary-set-theory-von-krishna-suryanarayan","provider":"Autorenwelt Shop","version":"1.0","type":"link"}