城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #数学基礎論)
該当件数:52件
数学基礎論 = Mathematical Logic / 新井敏康著
増補版. - 東京 : 東京大学出版会 , 2021.4
図書
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
計算可能性入門 / 小林孝次郎著
東京 : 近代科学社 , 1980.2. - (コンピュータサイエンス大学講座)
数学基礎論 / 竹内外史, 八杉満利子共著
増補版. - 東京 : 共立出版 , 1974.3
現代数学読本 / 矢野健太郎 著
東京 : 日本評論新社 , 1957.4
数学基礎論の応用 / 広瀬健 著
12. - 東京 : 日本評論社 , 1981. - (入門現代の数学 ; 12)
数学基礎論序説 / R.L.ワイルダー著 ; 吉田洋一訳
東京 : 培風館 , 1969.4
数学基礎論入門 / R.L.グッドステイン 著 ; 赤摂也 訳
東京 : 培風館 , 1979.3
数学とは何か : 集合・論理 / 前原昭二 著
23. - 東京 : 総合科学出版 , 1971. - (総合サイエンス・ライブラリー ; 23)
数学基礎論の世界 : ロジックの雑誌帳から / 竹内外史 著
東京 : 日本評論社 , 1972
論理数学 / 細井勉 著
1. - 東京 : 筑摩書房 , 1974. - (数理科学シリーズ ; 1)
数の概念について / G. Peano著 ; 小野勝次, 梅沢敏郎訳・解説
東京 : 共立出版 , 1969.8. - (現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 2)
数学基礎論入門 / 前原昭二著
東京 : 朝倉書店 , 1977.6. - (基礎数学シリーズ ; 26)
お話・数学基礎論 : 数学では必ず正しい結論に到着できるか? / 八杉満利子, 林晋共著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
数の体系と超準モデル / 田中一之著
東京 : 裳華房 , 2002.4
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
東京 : 共立出版 , 2012.2
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
数学基礎論 / 竹内外史, 八杉満利子著
増補版. - 東京 : 共立出版 , 1974.3. - (現代数学講座 ; 1)
復刊. - 東京 : 朝倉書店 , 2006.3. - (基礎数学シリーズ ; 23)
論理と計算のしくみ / 萩谷昌己, 西崎真也著
東京 : 岩波書店 , 2007.6