Computability and Logic

9780521007580
0-521-00758-5