Course in mathematical logic. - Bell J L; Machover M (1977)