Computability and logic - BOOLOS George; JEFFREY Richard (London Cambridge university press, 1980)