Next:
Set Theory
Up:
References
Previous:
References
First-order logic
1.
Enderton,
A Mathematical Introduction to Logic
2.
Chang and Keisler,
Model Theory
root
1998-12-03