内容説明
集合論を出発点とし、命題論理・述語論理・構造の基礎を通して、完全性定理と、その応用としての超準解析を丁寧に解説。
※本書は、2012年に牧野書店から刊行された書籍を、内容の一部を修正したうえで森北出版から継続発行したものです。
目次
第1章 準備
第2章 命題論理
第3章 述語論理
第4章 構造
第5章 完全性定理
第6章 完全性定理の応用―超準解析
東京都公安委員会 古物商許可番号 304366100901
- このウェブサイトの内容の一部または全部を無断で複製、転載することを禁じます。当社店舗一覧等を掲載されるサイトにおかれましては、最新の情報を当ウェブサイトにてご参照のうえ常時メンテナンスください。 Copyright © KINOKUNIYA COMPANY LTD.