Mathematical Logic - Monk, J. Donald (Springer-Verlag, 1976)