小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #数学基礎論)
該当件数:36件
数学基礎論 / 前原昭二, 竹内外史著
東京 : 筑摩書房 , 2017.1. - (ちくま学芸文庫 ; [マ-41-1])
図書
論理・集合・数学語 / 石川剛郎著
東京 : 共立出版 , 2015.12. - (共立講座 数学探検 ; 3)
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
東京 : 共立出版 , 2012.2
数学基礎論 = Mathematical logic / 新井敏康著
東京 : 岩波書店 , 2011.5
数理基礎論講義 : 論理・集合・位相 / 金子晃著
東京 : サイエンス社 , 2010.6. - (ライブラリ数理・情報系の数学講義 ; 1)
数学の言葉と論理 / 渡辺治 [ほか] 著
東京 : 朝倉書店 , 2008.9. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 1)
集合論とプラトニズム / 田中一之編
東京 : 東京大学出版会 , 2007.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4)
論理と計算のしくみ / 萩谷昌己, 西崎真也著
東京 : 岩波書店 , 2007.6
不完全性定理と算術の体系 / 田中一之編
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)
ε(エプシロン)-δ(デルタ)に泣く : 数学の盲点とその解明 / 石谷茂著
京都 : 現代数学社 , 2006.11
∀(すべて)と∃(存在)に泣く : 数学の盲点とその解明 / 石谷茂著
新版. - 京都 : 現代数学社 , 2006.11
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
二十世紀数学思想 / 佐々木力著
東京 : みすず書房 , 2001.4
計算の理論 / 笠井琢美, 戸田誠之助著
東京 : 共立出版 , 1993.6. - (情報数学講座 ; 4)
計算論 : 計算可能性とラムダ計算 / 高橋正子著
東京 : 近代科学社 , 1991.8. - (コンピュータサイエンス大学講座 ; 24)
計算モデルの基礎理論 / 井田哲雄[著]
東京 : 岩波書店 , 1991.3. - (岩波講座ソフトウェア科学 / 長尾真[ほか]編 ; 12)
計算機数学 / 町田元, 横森貴共著
東京 : 森北出版 , 1990.5
現代論理学入門 : 情報から論理へ / 本橋信義著
東京 : 岩波書店 , 1989.4
プリンキピア・マテマティカ序論 / A・N・ホワイトヘッド, B・ラッセル [著] ; 岡本賢吾 [ほか] 訳
東京 : 哲学書房 , 1988.7. - (叢書思考の生成 ; 1)