JavaScript を有効にしてご利用下さい.
文字サイズ
古書を探す
アダルト商品の検索を行う場合、18歳未満の方のご利用は固くお断りします。 あなたは18歳以上ですか?
数の体系と超準モデル
集合論とプラトニズム <ゲーデルと20世紀の論理学 / 田中一之 編 4>
完全性定理とモデル理論 <ゲーデルと20世紀の論理学 / 田中一之 編 2>
逆数学と2階算術 <数学基礎論シリーズ 4>
逆数学と2階算術 (数学基礎論シリ-ズ)
逆数学:定理から公理を「証明」する
数学基礎論序説 数の体系への論理的アプローチ
数学基礎論講義 -不完全性定理とその発展-
数学基礎論序説: 数の体系への論理的アプローチ
ゲーデルに挑む 証明不可能なことの証明
ゲ-デルと20世紀の論理学(ロジック) (1)
数学基礎論講義─不完全性定理とその発展
確かさを求めて 数学の基礎についての哲学論考
ゲーデルに挑む : 証明不可能なことの証明
ゲーデルに挑む 原典解題/証明不可能なことの証明
数学のロジックと集合論
不完全性定理と算術の体系
数学基礎論講義 : 不完全性定理とその発展
ゲーデルの定理
ゲーデルの定理――利用と誤用の不完全ガイド
ゲーデルと20世紀の論理学 1 ゲーデルの20世紀
チューリングと超パズル 解ける問題と解けない問題
数学の基礎についての哲学的論考 確かさを求めて
ゲーデルの20世紀(ゲーデルと20世紀の論理学1)
スマリヤン数理論理学講義 上・下巻揃
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える
スマリヤン 数理論理学講義 上下揃
ゲーデルと20世紀の論理学 1-4 ①ゲーデルの20世紀②完全性定理とモデル理論③不完全性定理と算術の体系④集合論とプラトニズム <ゲーデルと20世紀の論理学>
数学基礎論講義 不完全性定理とその発展
数学の基礎をめぐる論争:21世紀の数学と数学基礎論のあるべき姿を考える
数学の基礎をめぐる論争 21世紀の数学と数学基礎論のあるべき姿を考える
科学哲学 40-2 (2007年)
在庫検索から見つからなかった場合は、書誌(カタログ)からも検索できます。 お探しの古書が登録されていれば、在庫が無い本や条件に合わない本についても、こちらからリクエストを行うことができます。