Krishna Suryanarayan: Formal Proofs in Elementary Set Theory, Kartoniert / Broschiert

Krishna Suryanarayan

Formal Proofs in Elementary Set Theory

Buch

Rules of Logic for Formal Proofs in Zermelo Set Theory

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 54,75

Versandkosten (United States of America): EUR 19,90

Verlag:: Springer, 08/2026
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783032222381
Artikelnummer:: 12717312
Umfang:: 144 Seiten
Gewicht:: 230 g
Maße:: 235 x 155 mm
Stärke:: 9 mm
Erscheinungstermin:: 3.8.2026
Serie:: SpringerBriefs in Applied Sciences and Technology
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

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.