A course in mathematical logic - Bell, John Lane; Machover, Moshé (rz1, 1977)