next up previous
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