Kostenloser Versand
Bequem zahlen
Wir sind gerne für Sie da
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.
Produkteigenschaften
- Artikelnummer: 9783032222381
- Medium: Buch
- ISBN: 978-3-032-22238-1
- Verlag: Springer
- Erscheinungstermin: 03.08.2026
- Sprache(n): Englisch
- Auflage: Erscheinungsjahr 2026
- Serie: SpringerBriefs in Computational Intelligence
- Produktform: Kartoniert
- Seiten: 134
- Format (B x H): 155 x 235 mm
- Ausgabetyp: Kein, Unbekannt