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

Artikel noch nicht erschienen, voraussichtlicher Liefertermin ist der 14.6.2026.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.

Aktueller Preis: EUR 67,00

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

Verlag:: Springer Nature Switzerland AG, 06/2026
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783032222381
Artikelnummer:: 12717312
Umfang:: 135 Seiten
Erscheinungstermin:: 14.6.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.