Computability and Logic, 5th ed.

George S. Boolos, John P. Burgess, Richard C. Jeffrey, Computability and Logic, 5th ed., Cambridge, 2007.

初版
George S. Boolos, Richard C. Jeffrey, Computability and Logic, Cambridge, 1974.

邦訳準備中とか以前聞いた覚えがありますが、出版された様子がありません。