λ 数理論理学とラムダ計算の世界 計算機科学の基礎である「数理論理学」と「ラムダ計算」に関する入門書。 ……という建前のもと、私の学部時代の講義ノートをベースとして、書きたいことを書けるだけ書いた本。 できるだけ多くの関連トピックに触れるため、傍注やコラム多めの構成。 物理本(通販) 電子版 正誤表