Mathematical logic - Monk, Donald J. (Graduate texts in mathematics, 1976)