CiNii Booksを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #数学基礎論)
該当件数:13件
集合論とプラトニズム / 田中一之編
東京 : 東京大学出版会 , 2007.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4)
図書
不完全性定理と算術の体系 / 田中一之編
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
数学・基礎の基礎 / 廣瀬健著
東京 : 海鳴社 , 1996.6
無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
東京 : 白揚社 , 1994.3
思考の道具箱 : 情報 数 空間 論理 無限 数学的リアリティの五つのレベル / ルディ・ラッカー著 ; 大槻有紀子 [ほか] 訳
東京 : 工作舎 , 1993.3
パラドックスへの挑戦 : ゲーデルとボーア / 大出晁著
東京 : 岩波書店 , 1991.8
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
東京 : 白揚社 , 1990.11
数学の基礎 / L. ウィトゲンシュタイン著 ; 中村秀吉, 藤田晋吾訳
東京 : 大修館書店 , 1976.5. - (ウィトゲンシュタイン全集 ; 7)
数理論理学 : 数学的理論の論理的構造 / 前原昭二著
東京 : 培風館 , 1973.5. - (数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 6)
数理論理学入門 / 入江盛一著
東京 : 培風館 , 1973.1