ようこそ  ゲスト さん

山梨大学OPAC

ヘルプ
入力補助
English
TOP
図書館サービス
    • 図書新着案内
    • 雑誌最新巻号案内
    • ベストリーディング
    • アクセスランキング
利用者サービス
    • MyLibrary ログイン
  • 図書館
  • 医学分館
  • 医学分館(院内PC専用)
  • 山梨大学
  • リポジトリ
  • 電子ジャーナル
  • 山梨大学
  • 国内大学等
  • CiNii(論文)
  • IRDB
  • 国立国会図書館
  • その他の検索
    • 国内大学等
    • CiNii(論文)
    • IRDB
    • 国立国会図書館

蔵書検索

山梨大学の蔵書を検索します。

国内大学等

CiNii Booksを検索します。

CiNii(論文)

CiNiiを検索します。

IRDB

IRDBを検索します。

国立国会図書館

NDLサーチを検索します。

検索条件を開く
  • 簡易検索
  • 詳細検索
  • 分類検索

検索条件

  •  

資料区分

キャンパス

検索オプション

資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
全ての項目:
論文名:
著者名:
刊行物名:
並び順:
一覧表示件数:
全ての項目:
タイトル:
著者名:
雑誌名:
一覧表示件数:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
出版者:
件名:
ISBN:
ISSN:
出版年: –
並び順:
一覧表示件数:
分類表からの検索を行います。一覧から一つを選択し、「検索」ボタンをクリックしてください。
  • 日本十進分類
  • 医学分類(NLMC)

分類

検索条件

キーワード:

» 絞込条件

検索結果

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

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

該当件数:18件

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

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

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

     図書



  • 2.

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

    第1版第5刷. - 東京 : 日本評論社 , 1987.1

     図書



  • 3.

    ゲーデル / 竹内外史著

    東京 : 日本評論社 , 1986.11

     図書



  • 4.

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

    東京 : 裳華房 , 1983.11

     図書



  • 5.

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

    東京 : 紀伊國屋書店 , 1982.2

     図書



  • 6.

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

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

     図書



  • 7.

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

    東京 : 日本評論社 , 1979.3

     図書



  • 8.

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

    東京 : 日本評論社 , 1979

     図書



  • 9.

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

    東京 : 日本評論社 , 1978.1

     図書



  • 10.

    Two applications of logic to mathematics / by Gaisi Takeuti

    ja. - [Tokyo] : Iwanami Shoten. - [Princeton, N.J.] : Princeton University Press , 1978. - (Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3)

     図書



  • 11.

    Proof theory / Gaisi Takeuti

    American Elsevier,North-Holland. - Amsterdam : North-Holland Pub. Co. - New York : American Elsevier Pub. Co. , 1975. - (Studies in logic and the foundations of mathematics ; v. 81)

     図書



  • 12.

    数学基礎論 / 竹内外史, 八杉満利子著

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

     図書



  • 13.

    数理論理学 : 語の問題 / 竹内外史著

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

     図書



  • 14.

    Axiomatic set theory / by G. Takeuti and W.M. Zaring

    : us hard cover,: us soft cover,: gw soft cover. - New York : Springer-Verlag , c1973. - (Graduate texts in mathematics ; 8)

     図書



  • 15.

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

    東京 : 日本評論社 , 1972.5

     図書



  • 16.

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

    東京 : 日本評論社 , 1971. - (日評数学選書)

     図書



  • 17.

    数学基礎論 / 竹内外史著

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

     図書



  • 18.

    自然数論 / 河田敬義, 竹内外史著

    改訂増補版. - 東京 : 河出書房 , 1951.9

     図書



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

絞込項目

CLOSE

図書館サービス

  • 図書新着案内
  • 雑誌最新巻号案内
  • ベストリーディング
  • アクセスランキング

利用者サービス

  • MyLibrary ログイン

関連

  • 図書館
  • 医学分館
  • 医学分館(院内PC専用)
  • 山梨大学
  • リポジトリ
  • 電子ジャーナル

本ホームページは、山梨大学附属図書館がサービスを提供しています。
Copyright © 2020 THE UNIVERSITY OF YAMANASHI LIBRARY All rights reserved.