出版社よりお取り寄せ(通常3日~20日で出荷)
※20日以内での商品確保が難しい場合、キャンセルさせて頂きます
不完全性定理についてのゲーデルの理論を入門的かつ精密に紹介。〔内容〕数学的理論の形式化/命題論理/述語論理/等号をもつ述語論理/型の理論/自然数論/自然数の関係と関数についての形式的表現の可能性/ゲーデルの不完全性定理/他。初版1977年6月1日刊。
よく利用するジャンルを設定できます。
「+」ボタンからジャンル(検索条件)を絞って検索してください。
表示の並び替えができます。