ゲーデルと20世紀の論理学(ロジック) 2

完全性定理とモデル理論

ゲーデルと20世紀の論理学(ロジック)

1~2日で出荷、新刊の場合、発売日以降のお届けになります

出版社
東京大学出版会
著者名
田中一之
価格
4,180円(本体3,800円+税)
発行年月
2006年10月
判型
A5
ISBN
9784130640961

ゲーデルが最初に証明した重要定理は、1階述語論理の完全性。この基本概念を、現代的な視点から平易に説明。モデル理論が持つ数学的構造に関する研究と言語の哲学的分析の両側面を、それぞれ丁寧に解説。

お気に入りカテゴリ

よく利用するジャンルを設定できます。

≫ 設定

カテゴリ

「+」ボタンからジャンル(検索条件)を絞って検索してください。
表示の並び替えができます。

page top