ようこそ  ゲスト さん

国際基督教大学OPAC

ヘルプ
入力補助
English
OPAC
資料案内
    • 新着図書
    • 雑誌最新巻号
    • 雑誌タイトル検索
    • AV資料リスト
    • 新着書評
MyLibrary
    • 貸出・予約・延滞状況の確認
    • 本の取寄せ・コピーの取寄せ申込み
    • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
    • 本の購入申込み
    • 本の購入申込み状況照会
    • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
    • 学生希望図書リクエスト状況照会
    • パスワード変更
  • 図書館 HP
  • 授業指定図書
  • ICU Discovery
  • データベース一覧
  • ICUリポジトリ
  • ICU図書館
  • CiNii Books

蔵書検索

ICU図書館の所蔵資料を検索します。

CiNii Books

他大学図書館の所蔵資料を検索します。

検索をやりなおす
  • 簡易検索
  • 詳細検索
  • 分類検索

検索条件

  •  

資料区分

検索対象

検索オプション

資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
  • 日本十進分類

分類

検索条件

キーワード:

» 絞込条件

検索結果

本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。

検索キーワード:(件名: #数学基礎論)

該当件数:52件

  • 件
  • 1
  • 2
  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
  • 1.

    計算論 : 計算可能性とラムダ計算 / 高橋正子/著

    東京 : 近代科学社 , 1991.8. - (コンピュータサイエンス大学講座 ; 24)

     図書 [BN06616709]



  • 2.

    数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える / 〔ソーンダース・マックレーン〕〔ほか著〕 ; 田中一之編・監訳

    東京 : シュプリンガー・フェアラーク東京 , 1999.2

     図書 [BA41098407]



  • 3.

    数学基礎論へのいざない / 倉田令二朗著

    名古屋 : 河合文化教育研究所 , 1995.11. - (数学基礎論シリーズ ; 0巻)

     図書



  • 4.

    入門数学基礎論 / 倉田令二朗著

    名古屋 : 河合文化教育研究所 , 1996.1. - (数学基礎論シリーズ ; 1巻)

     図書



  • 5.

    逆数学と2階算術 / 田中一之著

    名古屋 : 河合文化教育研究所 , 1997.8. - (数学基礎論シリーズ ; 4巻)

     図書



  • 6.

    帰納的関数と述語 / 篠田寿一著

    名古屋 : 河合文化教育研究所 , 1997.5. - (数学基礎論シリーズ ; 5巻)

     図書



  • 7.

    証明論と計算量 / 竹内外史著

    東京 : 裳華房 , 1995.11

     図書 [BN13445912]



  • 8.

    数学基礎論の世界 : ロジックの雑誌帳から / 竹内外史著

    東京 : 日本評論社 , 1972

     図書 [BN00956533]



  • 9.

    束と論理

    東京 : 森北出版 , 1980.5. - (情報数学 ; 1)

     図書 [BN00802278]



  • 10.

    計算基礎論 / 足立暁生著

    東京 : オーム社 , 1986.6

     図書 [BN00241476]



  • 11.

    計算機数学 / 町田元,横森貴共著

    東京 : 森北出版 , 1990.5

     図書 [BN05069440]



  • 12.

    証明論入門 / 竹内外史,八杉満利子共著

    東京 : 共立出版 , 1988.2

     図書 [BN01958614]



  • 13.

    論理と計算のしくみ / 萩谷昌己著 ; 西崎真也著

    東京 : 岩波書店 , 2007.6

     図書



  • 14.

    数学基礎論 : ゲーデルの不完全性定理 / 隈部正博著

    三訂版. - 東京 : 放送大学教育振興会 , 2003.3. - (放送大学教材 ; 7036)

     図書



  • 15.

    不完全性定理 / ゲーデル〔著〕 ; 林晋訳・解説 ; 八杉満利子訳・解説

    東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 33ー944ー1)

     図書 [BA78367288]



  • 16.

    お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子著 ; 林晋著

    東京 : 講談社 , 2002.6. - (ブルーバックス ; Bー1374)

     図書



  • 17.

    型理論的アプローチによる証明論および計算論の研究 / 高橋正子研究代表者

    [三鷹] : 高橋正子 , 2004.5. - (科学研究費補助金基盤研究(C)(2)研究成果報告書 ; 平成12~15年度)

     図書



  • 18.

    計算論入門 : 計算の基本原理理解のために / 渡辺治著 ; 米崎直樹著

    東京 : 日本評論社 , 1997.3

     図書



  • 19.

    論理数学 / 細井勉著

    東京 : 筑摩書房 , 1974. - (数理科学シリーズ ; 1)

     図書 [BN00646183]



  • 20.

    計算の基礎理論 / 細井勉著

    東京 : 教育出版 , 1975. - (シリーズ新しい応用の数学 ; 9 一松信,伊里正夫,竹内啓編)

     図書 [BN00658364]



  • 21.

    数学基礎論 / 前原昭二著

    東京 : 放送大学教育振興会 , 1990.3. - (放送大学教材 ; 1990)

     図書 [BN04944489]



  • 22.

    数理論理学 / 松本和夫著

    東京 : 共立出版 , 1970. - (共立講座 現代の数学 ; 1)

     図書



  • 23.

    数学基礎論序説 / R. L. ワイルダー著 ; 吉田洋一訳

    東京 : 培風館 , 1969

     図書 [BN00631856]



  • 24.

    数の概念について / ペアノ著 ; 小野勝次,梅沢敏郎訳・解説

    東京 : 共立出版 , 1969. - (現代数学の系譜 ; 2)

     図書 [BN00642954]



  • 25.

    数学基礎論 / 隈部正博著

    4訂版. - 東京 : 放送大学教育振興会 , 2008.3. - (放送大学教材 ; 1560409-1-0811)

     図書 [BA85391646]



  • 26.

    数学基礎論 / 新井敏康著

    東京 : 岩波書店 , 2011.5

     図書 [BB05694597]



  • 27.

    数学の言葉と論理 / 渡辺治 [ほか] 著

    東京 : 朝倉書店 , 2008.9. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 1)

     図書 [BA87180652]



  • 28.

    集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著

    東京 : 共立出版 , 2012.2

     図書 [BB08452164]



  • 29.

    公理と証明 : 証明論への招待 / 彌永昌吉, 赤攝也著

    東京 : 筑摩書房 , 2012.9. - (ちくま学芸文庫 ; [イ37-2])

     図書 [BB10127290]



  • 30.

    逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳

    東京 : 森北出版 , 2019.2

     図書 [BB27733604]



  • 31.

    数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著

    東京 : 裳華房 , 2019.6

     図書 [BB28388818]



  • 32.

    数学基礎論入門 / 前原昭二著

    東京 : 朝倉書店 , 1977.6. - (基礎数学シリーズ ; 26)

     図書



  • 33.

    数学基礎論 = Mathematical Logic / 新井敏康著

    増補版. - 東京 : 東京大学出版会 , 2021.4

     図書 [BC0667006X]



  • 34.

    数学基礎論 / 前原昭二, 竹内外史著

    東京 : 筑摩書房 , 2017.1. - (ちくま学芸文庫 ; [マ-41-1])

     図書 [BB22793165]



  • 35.

    キューネン数学基礎論講義 / ケネス・キューネン著 ; 藤田博司訳

    東京 : 日本評論社 , 2016.7

     図書 [BB21718288]



  • 36.

    数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著

    東京 : 日本評論社 , 1997.3

     図書 [BN16121881]



  • 37.

    数の体系と超準モデル / 田中一之著

    東京 : 裳華房 , 2002.4

     図書 [BA56669272]



  • 38.

    数学の基礎 / L. ウィトゲンシュタイン著 ; 中村秀吉, 藤田晋吾訳

    東京 : 大修館書店 , 1976.5. - (ウィトゲンシュタイン全集 ; 7)

     図書 [BN00413243]



  • 39.

    論理と計算

    東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 ; 3 基礎11)

     図書



  • 40.

    数理論理学入門 / 入江盛一著

    東京 : 培風館 , 1973

     図書 [BN01374497]



  • 41.

    計算モデルの基礎理論

    東京 : 岩波書店 , 1991.3. - (岩波講座ソフトウェア科学 / 長尾真〔ほか〕編 ; 12)

     図書 [BN06094159]



  • 42.

    現代数理論理学入門 / J. N. クロスリー他著 ; 田中尚夫訳

    東京 : 共立出版 , 1977.11. - (共立全書)

     図書 [BN00690720]



  • 43.

    数学論 : 数学的認識の本性 / G. I. ルザービン著 ; 山崎三郎,柴岡泰光訳

    東京 : 岩波書店 , 1977.12

     図書 [BN00691268]



  • 44.

    数理論理学 : 数学的理論の論理的構造 / 前原昭二著

    東京 : 培風館 , 1973. - (数理科学シリーズ ; 6)

     図書 [BN00647674]



  • 45.

    計算可能性・計算の複雑さ入門 / 渡辺治著

    東京 : 近代科学社 , 1992.10. - (アルゴリズム・シリーズ ; 3)

     図書 [BN08210818]



  • 46.

    ∀と∃に泣く / 石谷茂著

    京都 : 現代数学社 , 1973.10. - (数学の盲点とその解明)

     図書 [BN02331048]



  • 47.

    ε‐δ・∀と∃に泣く / 石谷茂著

    京都 : 現代数学社 , 1990.6. - (数学の盲点とその解明)

     図書 [BN05051649]



  • 48.

    数学と論理

    東京 : 朝倉書店 , 2003.4. - (講座数学の考え方 / 飯高茂〔ほか〕編集 ; 23)

     図書



  • 49.

    数学の基礎・人間活動と数学

    東京 : 大竹出版 , 2001.3. - (みえる数学の世界 / 山崎昇監訳 ; 3)

     図書



  • 50.

    二十世紀数学思想 / 佐々木力〔著〕

    東京 : みすず書房 , 2001.4

     図書 [BA5152491X]



  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
  • 1
  • 2
CLOSE

絞込項目

CLOSE

資料案内

  • 新着図書
  • 雑誌最新巻号
  • 雑誌タイトル検索
  • AV資料リスト
  • 新着書評

MyLibrary

  • 貸出・予約・延滞状況の確認
  • 本の取寄せ・コピーの取寄せ申込み
  • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
  • 本の購入申込み
  • 本の購入申込み状況照会
  • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
  • 学生希望図書リクエスト状況照会
  • パスワード変更

関連

  • 図書館HP
  • ICU Discovery
  • データベース一覧

©2013 国際基督教大学