Naïve Set Theory
Six chapters are ready to read.
Have the complete book read to you
Open the one-button continuous player. It uses the reviewed words-only chapters, starts only when you press Play, and remembers your place when the browser allows it.
Start reading
All 79 reader items are included in this complete offline English edition. Read keeps native mathematics navigable; Listen is words only; Explore explains expressions and ordered structures; Source preserves every source line. The HTML and EPUB editions passed their independent static, validator, source-replay, and silent runtime gates.
No network connection or JavaScript is required for core reading.
About profiles
Propositional Logic
Seven chapters are ready to read.
First-order Logic
Eleven chapters are ready to read.
Model Theory
Four chapters are ready to read.
Computability
Two chapters are ready to read.
Turing Machines
Two chapters are ready to read.
Incompleteness
Five chapters are ready to read.
Second-order Logic
Three chapters are ready to read.
The Lambda Calculus
Four chapters are ready to read.
Many-valued Logic
Four chapters are ready to read.
Normal Modal Logics
7 chapters are ready to read.
Applied Modal Logic
2 chapters are ready to read.
Intuitionistic Logic
4 chapters are ready to read.
Counterfactuals
2 chapters are ready to read.
Set Theory
9 chapters are ready to read.
Methods
2 chapters are ready to read.
History
2 chapters are ready to read.
Reference
2 chapters are ready to read.
Bibliography
Read the complete bibliography · Listen / words only · Original bibliography source