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 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.
| ISBN: | 9783032222381 |
| Publication date: | 3rd August 2026 |
| Author: | Krishna Suryanarayan |
| Publisher: | Springer an imprint of Springer Nature Switzerland |
| Format: | Paperback |
| Pagination: | 134 pages |
| Series: | SpringerBriefs in Applied Sciences and Technology |
| Genres: |
Artificial intelligence Mathematical logic Set theory Mathematical foundations |
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.
Formal Proofs in Elementary Set Theory SpringerBriefs in Computational Intelligence features in the following genres: Artificial intelligence, Mathematical logic, Set theory, Mathematical foundations
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Formal Proofs in Elementary Set Theory SpringerBriefs in Computational Intelligence was written by Krishna Suryanarayan and published by Springer an imprint of Springer Nature Switzerland
Formal Proofs in Elementary Set Theory SpringerBriefs in Computational Intelligence has 134 pages
Yes it is part of SpringerBriefs in Applied Sciences and Technology series
£40.49, reduced from £44.99. Not Available.