Formal Proofs in Elementary Set Theory: Rules of Logic for Formal Proofs in Zermelo Set Theory - SpringerBriefs in Applied Sciences and Technology - Krishna Suryanarayan - Books - Springer Nature Switzerland AG - 9783032222381 - June 29, 2026
In case cover and title do not match, the title is correct

Krishna Suryanarayan
Formal Proofs in Elementary Set Theory: Rules of Logic for Formal Proofs in Zermelo Set Theory - SpringerBriefs in Applied Sciences and Technology

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Krishna Suryanarayan releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

The 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.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 29, 2026
ISBN13 9783032222381
Publishers Springer Nature Switzerland AG
Pages 134
Dimensions 150 × 220 × 10 mm   ·   272 g   (Weight (estimated))

More from the same publisher

See all of Krishna Suryanarayan ( e.g. Paperback Book )