Next:
Additions to First Order
Set Theory Handout
Curtis Brown
Additions to First Order Logic
Defining Additional Set-Theoretic Notation
Naive Set Theory Is Inconsistent
Zermelo-Frankel Set Theory
About this document ...
cbrown 2002-01-27
