目次
１ 準備（言葉づかいについて：集合、順序と同値関係、写像と関数）
２ 命題論理（日常的推論と記号化；数理パズルと記号化；命題論理の言語：論理式 ほか）
３ 述語論理（数理パズルと述語論理による記号化；述語論理の言語；述語論理の形式的体系 ほか）
４ 証明の形式化とラムダ計算（証明図の簡約；証明の記号化・形式化；カリー・ハワード同型）
著者等紹介
藤田憲悦［フジタケンエツ］
１９８４年東北大学工学部電子工学科卒業。１９８６年東北大学大学院博士前期課程修了（電子工学専攻）。１９９０年東北大学大学院博士後期課程単位取得退学（情報工学専攻）。工学博士。２００４年群馬大学助教授。２００７年群馬大学准教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
