Formal Proofs in Elementary Set Theory

Rules of Logic for Formal Proofs in Zermelo Set Theory

Paperback EN 2026 9783032222381
€ 66,81
Levertijd ongeveer 16 werkdagen
Gratis verzonden

Samenvatting

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 helps the reader to write formal proofs. The book serves as a reference for a course on formal proofs.

Specificaties

ISBN13:9783032222381
Taal:EN
Bindwijze:Paperback
Aantal pagina's:134
Uitgever:Springer Nature Switzerland AG

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Managementboek Top 100

€ 66,81
Levertijd ongeveer 16 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Artikelen

          Formal Proofs in Elementary Set Theory