目次
第1部 命題論理の構文論
第2部 命題論理の意味論
第3部 メタ論理
第4部 述語論理の構文論
第5部 反証図
第6部 述語論理の意味論
第7部 応用と実践
第8部 完全性定理
第9部 健全性定理
第10部 不完全性定理
付録
著者等紹介
金子裕介[カネコユウスケ]
2009年東京大学大学院人文社会系研究科博士課程修了。現在、明治大学商学部兼任講師。博士(文学)(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
-
- 電子書籍
- 身体改造レシピ(分冊版) 【第10話】…
-
- 電子書籍
- 週刊東洋経済 2022年10月1日号 …
-
- 電子書籍
- ReLIFE7【分冊版】第103話 c…
-
- 電子書籍
- 60歳からを楽しむ生き方 フランス人は…
-
- 電子書籍
- 撮られる彼女たち



