Computability and logic

Cambridge University Press
9780521007580
0-521-00758-5