BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
eBook
Formal Proofs in Elementary Set Theory
Rules of Logic for Formal Proofs in Zermelo Set Theory
Springer Nature Switzerland
ISBN 978-3-032-22239-8
Standardpreis
Bibliografische Daten
eBook. PDF. Weiches DRM (Wasserzeichen)
VII, 134 p..
In englischer Sprache
Umfang: 134 S.
Verlag: Springer Nature Switzerland
ISBN: 978-3-032-22239-8
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: SpringerBriefs in Applied Sciences and Technology Engineering (R0) Engineering SpringerBriefs in Computational Intelligence
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
ProductSafety@springernature.com
Rezensionen
