ようこそ  ゲスト さん

大阪大学OPAC

ヘルプ
入力補助
English
TOP
Webサービス
    • -貸出・予約状況照会
    • -文献複写・現物貸借申込み
    • -文献複写・現物貸借申込み状況照会
    • -利用者情報編集
    • -施設予約
新着案内
    • 図書新着案内
    • 雑誌新着巻号案内
    • AV資料新着案内
タイトルリスト
    • 雑誌タイトルリスト
    • AV資料タイトルリスト
  • 附属図書館
  • 大阪大学リポジトリ
  • 大阪大学
  • 大阪大学蔵書検索
  • CiNii Books
  • NDLサーチ
  • その他の検索
    • CiNii Books
    • NDLサーチ

蔵書検索

大阪大学の蔵書(電子ブック・電子ジャーナルを含む)を検索します。大阪大学個人IDがあれば、予約・取寄ができます。

CiNii Books

全国の大学図書館の蔵書を検索します ※ 論文名で探すときは CiNii Articles からどうぞ

NDLサーチ

国立国会図書館や公共図書館等の蔵書(デジタルコンテンツを含む)を検索します

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

検索条件

  •  

資料タイプ

所蔵場所

検索オプション

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

検索結果

検索キーワード:(著者名に左の語を含む: #Ebbinghaus Heinz-Dieter)

該当件数:22件

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

    Zahlen / H.-D. Ebbinghaus ... [et al.]

    : Germany,:U.S.. - 2., überarb. und ergänzte Aufl.. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Grundwissen Mathematik ; 1)

    書誌ID=2004323011 NCID=BA0679122X



  • 2.
    図書

    Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum

    2nd. rev. & enl. ed. 1999. - Berlin : Springer , c2006. - (Springer monographs in mathematics)

    書誌ID=2003719233 NCID=BA73822343



  • 3.
    図書

    Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum

    New York ; Berlin : Springer , c1995. - (Perspectives in mathematical logic)

    書誌ID=2003175428 NCID=BA26045427



  • 4.
    図書

    Ernst Zermelo : an approach to his life and work / Heinz-Dieter Ebbinghaus ; in cooperation with Volker Peckhaus

    Berlin : Springer , 2007

    書誌ID=2004029488 NCID=BA82225243



  • 5.
    図書

    数 / H.-D. エビングハウス [ほか] 著 ; 成木勇夫訳

    上,下. - 東京 : 丸善出版 , 2012.10. - (シュプリンガー数学リーディングス ; 第6-7巻)

    書誌ID=2004266039 NCID=BB11450961



  • 6.
    図書

    Calculus of Variations, Applied Mathematics, and Physics / edited by Heinz-Dieter Ebbinghaus, Akihiro Kanamori = Variationsrechnung, Angewandte Mathematik und Physik / herausgegeben vonHeinz-Dieter Ebbinghaus, Akihiro Kanamori

    Heidelberg : Springer , c2013. - (Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; Nr. 23 . Collected works = gesammelte werke / Ernst Zermelo ; v. 2)

    書誌ID=2004305093 NCID=BB13611846



  • 7.
    図書

    Set theory, miscellanea / Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Akihiro Kanamori = Mengenlehre, Varia / Ernst Zermelo ; heraugegeben von Heinz-Dieter Ebbinghaus, Akihiro Kanamori

    Heidelberg : Springer , c2010. - (Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; Nr. 21 . Collected works = gesammelte werke / Ernst Zermelo ; v. 1)

    書誌ID=2004165825 NCID=BB01161651



  • 8.
    図書

    Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller and G.E. Sacks

    : gw,: us. - Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in mathematics ; 1141)

    書誌ID=2004323266 NCID=BA00602878



  • 9.
    電子ブック

    Ω-Bibliography of Mathematical Logic : Model Theory / edited by Gert H. Müller, Heinz-Dieter Ebbinghaus

    (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Ω Perspectives in Mathematical Logic. ISSN:01726641)

    書誌ID=MC00027931



  • 10.
    電子ブック

    Finite Model Theory / by Heinz-Dieter Ebbinghaus, Jörg Flum

    Second Revised and Enlarged Edition 1999.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Springer Monographs in Mathematics. ISSN:14397382)

    書誌ID=MC00028951



  • 11.
    電子ブック

    Finite Model Theory / by Heinz-Dieter Ebbinghaus, Jörg Flum

    (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Perspectives in Mathematical Logic. ISSN:01726641)

    書誌ID=MC00029438



  • 12.
    電子ブック

    Ernst Zermelo : An Approach to His Life and Work / by Heinz-Dieter Ebbinghaus

    (Berlin, Heidelberg : Springer Berlin Heidelberg , 2007)

    書誌ID=MC00014936



  • 13.
    電子ブック

    Ernst Zermelo : An Approach to His Life and Work / by Heinz Dieter Ebbinghaus, Volker Peckhaus

    2nd ed. 2015.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2015)

    書誌ID=MC00017385



  • 14.
    図書

    Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas

    : us,: gw. - New York : Springer-Verlag , c1984. - (Undergraduate texts in mathematics)

    書誌ID=2000110266 NCID=BA01102666



  • 15.
    図書

    数 / H.‐D. エビングハウス [ほか] 著 ; 成木勇夫訳

    上 : 新装版,下 : 新装版. - 東京 : シュプリンガー・フェアラーク東京 , 2004.11. - (シュプリンガー数学リーディングス ; 第6-7巻)

    書誌ID=2003638733 NCID=BA69877545



  • 16.
    図書

    数 / H.-D. エビングハウス [ほか] 著 ; K. ラモトケ編集 ; 成木勇夫訳

    上,下. - 東京 : シュプリンガー・フェアラーク東京 , 1991.5-1991.6

    書誌ID=2002631305 NCID=BN06313059



  • 17.
    電子ブック

    Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984 / edited by Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks

    (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Mathematics. ISSN:00758434 ; 1141)

    書誌ID=MC00022718



  • 18.
    電子ブック

    Ernst Zermelo - Collected Works/Gesammelte Werke II : Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik / by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Akihiro Kanamori

    (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2013). - (Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 23)

    書誌ID=MC00019083



  • 19.
    図書

    Model theory / Heinz-Dieter Ebbinghaus (editor)

    : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 3)

    書誌ID=2003084722 NCID=BA00748829



  • 20.
    図書

    Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987 / edited by H.-D. Ebbinghaus ... [et al.]

    Amsterdam ; Tokyo : North-Holland , 1989. - (Studies in logic and the foundations of mathematics ; v. 129)

    書誌ID=2003043342 NCID=BA07292699



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

絞込み

CLOSE

Webサービス

  • -貸出・予約状況照会
  • -文献複写・現物貸借申込み
  • -文献複写・現物貸借申込み状況照会
  • -利用者情報編集
  • -施設予約

新着案内

  • 図書新着案内
  • 雑誌新着巻号案内
  • AV資料新着案内

タイトルリスト

  • 雑誌タイトルリスト
  • AV資料タイトルリスト

関連

  • 附属図書館
  • 大阪大学リポジトリ
  • 大阪大学
  • サイバーメディアセンター

©2017 Osaka University Library