...
【利用可】
スマリヤン数理論理学 Smullyan, Raymond M(著/文) - 丸善
書店員向け情報 HELP
出版者情報
書店注文情報
注文サイト:
スマリヤン数理論理学
述語論理と完全性定理
発行：丸善
縦210mm
196ページ
価格情報なし
- 初版年月日
- 2014年11月
- 登録日
- 2016年9月6日
- 最終更新日
- 2016年9月6日
紹介
スマリヤンの最終講義。1階述語論理の本質へ。
目次
第1部 無限(無限の本質
数学的帰納法
一般化帰納法、ケーニッヒの補題、コンパクト性)
第2部 1階述語論理の基礎的結果(命題論理の基礎的結果
1階述語論理:完全性、コンパクト性、スコーレム‐レーヴェンハイムの定理
正規性定理)
第3部 公理系(公理的方法入門
命題論理の公理的方法(続き)
1階述語論理の公理系)
第4部 1階述語論理(続き)(クレイグの補間補題
ロビンソンの整合性定理
ベスの定義可能性定理
まとめ
この先にあるもの)
上記内容は本書刊行時のものです。
