内容説明
集合論を出発点とし、命題論理・述語論理・構造の基礎を通して、完全性定理と、その応用としての超準解析を丁寧に解説。
※本書は、2012年に牧野書店から刊行された書籍を、内容の一部を修正したうえで森北出版から継続発行したものです。
目次
第1章 準備
第2章 命題論理
第3章 述語論理
第4章 構造
第5章 完全性定理
第6章 完全性定理の応用―超準解析
-
- 電子書籍
- 悪役令嬢たちは揺るがない【分冊版】 2…
-
- 電子書籍
- 龍玄の方術士【分冊版】 17 MANG…
-
- 電子書籍
- すだちの魔王城（８）
-
- 電子書籍
- 日露戦争物語（分冊版） 【第166話】…
-
- 電子書籍
- レディ・サラの冒険 １【分冊】 4巻 …
