ようこそ  ゲスト さん

国際基督教大学OPAC

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

蔵書検索

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

CiNii Books

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

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

検索条件

  •  

資料区分

検索対象

検索オプション

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

分類

検索条件

キーワード:

» 絞込条件

検索結果

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

検索キーワード:(著者名に左の語を含む: #竹内 外史)

該当件数:19件

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

    PとNP : 計算量の根本問題 / 竹内外史著

    東京 : 日本評論社 , 1996.9

     図書 [BN14971885]



  • 2.

    ゲーデル / 竹内外史著

    新版. - 東京 : 日本評論社 , 1998.9

     図書



  • 3.

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

    東京 : 裳華房 , 1995.11

     図書 [BN13445912]



  • 4.

    無限小解析と物理学 / 竹内外史著

    東京 : 遊星社 , 1985.10

     図書 [BN00094713]



  • 5.

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

    東京 : 日本評論社 , 1972

     図書 [BN00956533]



  • 6.

    数学的世界観 : 現代数学の思想と展望 / 竹内外史著

    東京 : 紀伊国屋書店 , 1982.2

     図書 [BN00674699]



  • 7.

    リー代数と素粒子論 / 竹内外史著

    東京 : 裳華房 , 1983.11

     図書 [BN00096719]



  • 8.

    集合とはなにか : はじめて学ぶ人のために / 竹内外史著

    東京 : 講談社 , 1976. - (ブルーバックス)

     図書 [BN0179284X]



  • 9.

    層・圏・トポス : 現代的集合像を求めて / 竹内外史著

    東京 : 日本評論社 , 1978.1

     図書



  • 10.

    線形代数と量子力学 / 竹内外史著

    東京 : 裳華房 , 1981.3. - (基礎数学選書 ; 24)

     図書 [BN0118307X]



  • 11.

    線型論理入門 / 竹内外史著

    東京 : 日本評論社 , 1995.1

     図書 [BN11818349]



  • 12.

    集合とはなにか : はじめて学ぶ人のために / 竹内外史著

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

     図書



  • 13.

    無限小解析と物理学 / 竹内外史著

    第2版. - 東京 : 遊星社 , 2001.5

     図書 [BA52246335]



  • 14.

    数学から物理学へ / 竹内外史著

    東京 : 日本評論社 , 1979.3

     図書 [BN00490040]



  • 15.

    直観主義的集合論 / 竹内外史著

    東京 : 紀伊国屋書店 , 1980.12. - (紀伊国屋数学叢書 ; 20)

     図書 [BN00663841]



  • 16.

    現代集合論入門 / 竹内外史著

    増補版. - 東京 : 日本評論社 , 1989.12. - (日評数学選書)

     図書 [BN0409794X]



  • 17.

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

    東京 : 共立出版 , 1988.2

     図書 [BN01958614]



  • 18.

    位相幾何学 / 河田敬義,竹内外史共著

    東京 : 朝倉書店 , 1955. - (数学全書)

     図書



  • 19.

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

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

     図書 [BB22793165]



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

絞込項目

CLOSE

資料案内

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

MyLibrary

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

関連

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

©2013 国際基督教大学