論理と計算の概念は，いまでは計算機科学の基盤となっている．本書は，命題論理や述語論理，そして様相論理など形式論理の基礎を学んだあと，ゲーデル不完全性定理を通して「計算」の意味を理解する．さらに計算モデルの典型であるラムダ計算について学習し，論理と計算の関係だけでなく，両者をつなぐ「仕組み」を理解する．※この電子書籍は「固定レイアウト型」で作成されており，タブレットなど大きなディスプレイを備えた端末で読むことに適しています．また，文字だけを拡大すること，文字列のハイライト，検索，辞書の参照，引用などの機能は使用できません．