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