Computability and Logic. Third Edition (1989)

by G BOOLOS, R JEFFREY