• 本

数理論理学 使い方と考え方:超準解析の入口まで

出版社名 内田老鶴圃
出版年月 2010年5月
ISBNコード 978-4-7536-0151-6
4-7536-0151-X
税込価格 3,190円
頁数・縦 160P 21cm

商品内容

目次

第1章 論理式
第2章 論理式の解釈と構造
第3章 定義可能集合
第4章 冠頭標準形と否定命題
第5章 証明と推論規則
第6章 完全性定理
第7章 1階述語論理の表現可能性の限界について
第8章 初等部分構造について
第9章 簡単な超準解析の導入
第10章 数理論理学と数学
第11章 超準解析の応用

著者紹介

江田 勝哉 (エダ カツヤ)  
1946年逗子町に生まれる。1969年早稲田大学理工学部数学科卒業。1971年東京教育大学大学院理学研究科修士課程修了。筑波大学助手、助教授を経て、早稲田大学教授。理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)