目次
第1章 論理式
第2章 論理式の解釈と構造
第3章 定義可能集合
第4章 冠頭標準形と否定命題
第5章 証明と推論規則
第6章 完全性定理
第7章 1階述語論理の表現可能性の限界について
第8章 初等部分構造について
第9章 簡単な超準解析の導入
第10章 数理論理学と数学
第11章 超準解析の応用
著者等紹介
江田勝哉[エダカツヤ]
1946年逗子町に生まれる。1969年早稲田大学理工学部数学科卒業。1971年東京教育大学大学院理学研究科修士課程修了。筑波大学助手、助教授を経て、早稲田大学教授。理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
-
- 和書
- 耳を啓く