数理論理学 (現代基礎数学)

現代基礎数学　15 鹿島 亮 朝倉書店スウリロンリガク カシマ リョウ 発行年月：2009年10月25日 予約締切日：2009年10月24日 ページ数：224p サイズ：全集・双書 ISBN：9784254117653 鹿島亮（カシマリョウ） 1965年東京都に生まれる。1991年東京工業大学大学院理工学研究科博士課程中退。現在、東京工業大学大学院情報理工学研究科数理・計算科学専攻、准教授。博士（理学）（本データはこの書籍が刊行された当時に掲載されていたものです） 証明を対象にするとは／自然演繹／論理式の真理値／自然演繹の健全性／自然演繹の完全性／不完全性定理／命題論理／さまざまな証明体系／シークエント計算LKのカット除去／直観主義論理／クリプキモデルと中間論理／本文中で使われている数学的道具の説明 本 科学・技術 数学