Mathematical Logic - Monk, James Donald (Sringer-Verlag, 1976)