{"product_id":"formal-proofs-in-elementary-set-theory-rules-of-logic-for-formal-proofs-in-zermelo-set-theory-9783032222381","title":"Formal Proofs in Elementary Set Theory: Rules of Logic for Formal Proofs in Zermelo Set Theory","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 134 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 29 June 2026\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer Nature Switzerland AG\u003cbr\u003e\u003c\/p\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 helps the reader to write formal proofs. The book serves as a reference for a course on formal proofs.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783032222381\u003c\/p\u003e","brand":"Krishna Suryanarayan","offers":[{"title":"Paperback \/ softback","offer_id":49718679601402,"sku":"9783032222381","price":39.52,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1783735814594_book.jpg?v=1784367547","url":"https:\/\/shulphink.com\/products\/formal-proofs-in-elementary-set-theory-rules-of-logic-for-formal-proofs-in-zermelo-set-theory-9783032222381","provider":"Shulph Ink","version":"1.0","type":"link"}