>>222
コンピュータサイエンスのうち数理論理学寄りのことを解説した本ありませんかね