Formal Proofs in Elementary Set Theory
Rules of Logic for Formal Proofs in Zermelo Set Theory
Series: SpringerBriefs in Applied Sciences and Technology;
-
GET 12% OFF
- Publisher's listprice EUR 53.49
-
22 184 Ft (21 128 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 12% (cc. 2 662 Ft off)
- Discounted price 19 522 Ft (18 593 Ft + 5% VAT)
19 522 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Springer Nature Switzerland
- Date of Publication 6 June 2026
- ISBN 9783032222381
- Binding Paperback
- No. of pages135 pages
- Size 235x155 mm
- Language English
- Illustrations VII, 135 p. 700
Categories
Long description:
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.
MoreTable of Contents:
Logic.- Symbols of Logic.- Set Theory.- Russell’s Paradox and Nonexistence of Universal Set.- Equality of Sets and Membership.
More
