記号論理学
小野寛晰：情報科学における論理（日本評論社）
鹿島亮：C言語による計算の理論（サイエンス社）
高橋正子：計算論（近代科学社）
萩谷昌己，西崎真也：論理と計算のしくみ（岩波書店）