書泉と、10冊

【予約】数理論理学(06/24頃発送予定)

特典
ISBN/JAN
9784627097513
著者
嘉田勝
出版社
森北出版
レーベル
出版日
2025/06/24
商品説明
第1部 論理の健全性と完全性 第1章 導入 第2章 命題論理 第3章 述語論理の形式文法 第4章 ストラクチャーとモデル 第5章 証明を形式化する 第6章 述語論理の健全性 第7章 述語論理の完全性 第8章 コンパクト性とその応用 第2部 不完全性定理 第9章 構文規則の厳密化 第10章 算術の体系と関数の表現 第11章 構文規則の算術化 第12章 不完全性定理 第3部 いくつかの話題 第13章 自然演繹 第14章 直観主義論理とクリプキ意味論 第15章 超冪による超準モデルの構成 第16章 順序数と超限帰納法 付録 集合についての補足
備考
型番 9784627097513-011
販売価格 3,520円(税320円)
購入数

  

ピックアップ

Calendar

2025年5月
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
2025年6月
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30
Top