ようこそ ゲスト様
ゲーデルと現代ロジック
取り寄せ不可
今年、2006年に生誕100年を迎えたゲーデル。その業績は、基礎論のみならず、20世紀数学全体に大きな影響を与えるものだった。本書では、ゲーデルを源泉とする現代ロジックの諸相を活写する。
よく利用するジャンルを設定できます。
≫ 設定
「+」ボタンからジャンル(検索条件)を絞って検索してください。 表示の並び替えができます。