内容説明
集合論を出発点とし、命題論理・述語論理・構造の基礎を通して、完全性定理と、その応用としての超準解析を丁寧に解説。
※本書は、2012年に牧野書店から刊行された書籍を、内容の一部を修正したうえで森北出版から継続発行したものです。
目次
第1章 準備
第2章 命題論理
第3章 述語論理
第4章 構造
第5章 完全性定理
第6章 完全性定理の応用―超準解析
集合論を出発点とし、命題論理・述語論理・構造の基礎を通して、完全性定理と、その応用としての超準解析を丁寧に解説。
※本書は、2012年に牧野書店から刊行された書籍を、内容の一部を修正したうえで森北出版から継続発行したものです。
第1章 準備
第2章 命題論理
第3章 述語論理
第4章 構造
第5章 完全性定理
第6章 完全性定理の応用―超準解析
東京都公安委員会 古物商許可番号 304366100901