✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 472.549 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Formal Proofs in Elementary Set Theory

Formal Proofs in Elementary Set Theory

von Krishna Suryanarayan
Softcover - 9783032222381
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

Rules of Logic for Formal Proofs in Zermelo Set Theory

Details

Verlag Springer International Publishing
Ersterscheinung 03. August 2026
Maße 23.5 cm x 15.5 cm
Gewicht 230 Gramm
Format Softcover
ISBN-13 9783032222381
Seiten 134

Schlagwörter

Computational Intelligence, Künstliche Intelligenz, Mathematical Logic and Foundations, Mathematik: Logik, Mathematische Grundlagen, Mengenlehre, Set Theory

Herstellerinformationen +