BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Formal Proofs in Elementary Set Theory
Rules of Logic for Formal Proofs in Zermelo Set Theory
Springer
ISBN 978-3-032-22238-1
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Softcover
2026
In englischer Sprache
Umfang: vi, 126 S.
Format (B x L): 15,5 x 23,5 cm
Verlag: Springer
ISBN: 978-3-032-22238-1
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: SpringerBriefs in Computational Intelligence SpringerBriefs in Applied Sciences and Technology
Produktbeschreibung
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.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, DE
ProductSafety@springernature.com
Rezensionen
