Mathematical logic - Monk, James Donald (New York ; Heidelberg ; Berlin : Springer-Verlag, 1976)