A course in mathematical logic - Bell, John L. 1945-; Machover, Moshé (North-Holland Publ. Co., 1977)