論理と計算のしくみ　三省堂書店オンデマンド

命題論理・述語論理や様相論理など形式論理の基礎を学んだあと，ゲーデル不完全性定理を通して「計算」の意味を理解する．さらに計算モデルの典型であるラムダ計算について学習し，論理と計算をつなぐ「仕組み」を理解する．