コンピュータサイエンスのうち数理論理学寄りの事柄
チューリングマシンやプログラムの数理論理学的な意義について学ぶのに
この辺りのことを沢山本にしている田中一之さんの
「計算理論と数理論理学」
という本は適切でしょうかね？他にお薦め有れば教えて下さい