ようこそ  ゲスト さん

国際基督教大学OPAC

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

蔵書検索

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

CiNii Books

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

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

検索条件

  •  

資料区分

検索対象

検索オプション

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

分類

検索条件

キーワード:

» 絞込条件

検索結果

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

検索キーワード:(標準分類: MA41)

該当件数:17件

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

    情報理論のための数理論理学 / 板井昌典著

    東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)

     図書 [BB24269023]



  • 2.

    コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著

    東京 : 青土社 , 2015.3

     図書 [GP73687835]



  • 3.

    「無限」の考察 : ∞ - ∞ = ? / 足立恒雄著 ; 上村奈央絵

    東京 : 講談社 , 2009.6

     図書 [BA90658224]



  • 4.

    複素数への招待 / 宮西正宜, 増田佳代著

    東京 : 日本評論社 , 1998.10

     図書 [BA38358259]



  • 5.

    Word, language, grammar / G. Rozenberg, A. Salomaa, (eds.)

    2 vols. set - v. 2. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1)

     図書 [BA29765998]



  • 6.

    Linear modeling : background and application / G. Rozenberg, A. Salomaa, (eds.)

    : pbk. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2)

     図書 [BA2976701X]



  • 7.

    Beyond words / G. Rozenberg, A. Salomaa, (eds.)

    : [pbk]. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3)

     図書 [BA29767144]



  • 8.

    距離空間と位相空間 / 高橋渉著

    横浜 : 横浜図書 , 2001.10. - (数理解析入門シリーズ ; 1)

     図書 [GP36465288]



  • 9.

    なっとくする集合・位相 / 瀬山士郎著

    東京 : 講談社 , 2001.9

     図書 [BA53507150]



  • 10.

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

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

     図書 [BN05051649]



  • 11.

    情報科学における論理 / 小野寛晰著

    東京 : 日本評論社 , 1994.4. - (情報数学セミナー)

     図書 [BN10526687]



  • 12.

    集合と位相 / 彌永昌吉, 彌永健一著

    東京 : 岩波書店 , 1990.12. - (岩波基礎数学選書 / 小平邦彦監修 ; 岩堀長慶[ほか]編集)

     図書 [BN05588710]



  • 13.

    ヤング・タブロー : 表現論と幾何への応用 / W.フルトン著 ; 池田岳, 井上玲, 岩尾慎介訳

    東京 : 丸善出版 , 2019.6

     図書 [BB28365084]



  • 14.

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

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

     図書 [BN00413243]



  • 15.

    ヴァン・リント&ウィルソン組合せ論 / J. H. ヴァン・リント, R. M. ウィルソン著 ; 澤正憲, 萩田真理子訳

    上,下. - 東京 : 丸善出版 , 2018.3-2019.10

     図書 [BB25801033]



  • 16.

    集合と位相 / 内田伏一著

    東京 : 裳華房 , 1986.11. - (数学シリーズ / 佐武一郎, 村上信吾, 高橋礼司編)

     図書 [BN00582149]



  • 17.

    集合・位相入門 / 松坂和夫著

    東京 : 岩波書店 , 1968.6

     図書 [BN01303397]



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

絞込項目

CLOSE

資料案内

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

MyLibrary

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

関連

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

©2013 国際基督教大学