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