>>231
どうもありがとう
チューリングマシンやプログラムというものが数理論理学的にどういう意義を持つかを知るには「計算論」「計算の理論」というタイトルの本がよいわけですね