Springer

Formal Proofs in Elementary Set Theory: Rules of Logic for Zermelo Theory

Name: Formal Proofs in Elementary Set Theory: Rules of Logic for Zermelo Theory
Brand: Springer
SKU: d4483e4d96c07fcefd410c94bc31f7d3

1/1

Afbeelding van Formal Proofs in Elementary Set Theory: Rules of Logic for Zermelo Theory

Bol

Prijzen vanaf

47,99

Uitgelicht

	47,99	Naar shop
	53,49	Naar shop
	53,49	Naar shop
VERGELIJK ALLE AANBIEDERS (3)

Beschrijving

Bol 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. 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.

Lees meer

Vergelijk aanbieders (3)

Sorteren op:

€ 47,99 Gratis verzending

€ 53,49 Gratis verzending

Beschrijving (1)

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. 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.

Lees meer