目次
第１章 論理式
第２章 論理式の解釈と構造
第３章 定義可能集合
第４章 冠頭標準形と否定命題
第５章 証明と推論規則
第６章 完全性定理
第７章 １階述語論理の表現可能性の限界について
第８章 初等部分構造について
第９章 簡単な超準解析の導入
第１０章 数理論理学と数学
第１１章 超準解析の応用
著者等紹介
江田勝哉［エダカツヤ］
１９４６年逗子町に生まれる。１９６９年早稲田大学理工学部数学科卒業。１９７１年東京教育大学大学院理学研究科修士課程修了。筑波大学助手、助教授を経て、早稲田大学教授。理学博士（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
ぺ
0
途中まではなんとか食らい付いていたけど、終盤あたりは議論についていけなかった。再読が必要ですね。2013/04/15
