目次
第1部 命題論理の構文論
第2部 命題論理の意味論
第3部 メタ論理
第4部 述語論理の構文論
第5部 反証図
第6部 述語論理の意味論
第7部 応用と実践
第8部 完全性定理
第9部 健全性定理
第10部 不完全性定理
付録
著者等紹介
金子裕介[カネコユウスケ]
2009年東京大学大学院人文社会系研究科博士課程修了。現在、明治大学商学部兼任講師。博士(文学)(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。