注意.ここに記載するのは単行本の情報である.学術雑誌,国際会議等における情報はここを見よ. いずれの分野もとっつきやすそうな本を最初に並べた。 プログラム論理に直接関係する分野 論理学の基礎 萩谷 昌己: ソフトウェア科学のための論理学, 岩波書店 小野 寛晰: 情報科学における論理,日本評論社 林 晋: 数理論理学, コロナ社 前原 昭二: 記号論理入門, 日本評論社 Prawitz: Natural Deduction Takeuti: Proof Theory, 2nd Edition ラムダ計算の基礎 高橋 正子: 計算論, 近代科学社 井田 哲雄: 計算モデルの基礎理論,岩波書店 Hindley, Seldin: Introduction to Combinators and Lambda-Calculus, Cambridge Barendregt: The