東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Ebbinghaus Heinz-Dieter)
該当件数:10件
Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987 / edited by H.-D. Ebbinghaus ... [et al.]
Amsterdam : North-Holland , 1989. - Tokyo. - (Studies in logic and the foundations of mathematics ; v. 129)
図書
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
2nd rev. & enl. ed 1999. - Berlin : Springer , c2006. - (Springer monographs in mathematics)
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
: us,: gw. - New York : Springer-Verlag , c1984. - (Undergraduate texts in mathematics)
2nd ed. - New York : Springer-Verlag , c1994. - Tokyo. - (Undergraduate texts in mathematics)
数 / H.‐D. エビングハウス [ほか] 著 ; 成木勇夫訳
上 : 新装版,下 : 新装版. - 東京 : シュプリンガー・フェアラーク東京 , 2004.11. - (シュプリンガー数学リーディングス ; 第6-7巻)
Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
3rd ed. - Cham : Springer , c2021. - (Graduate texts in mathematics ; 291)
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)
数 / H.-D. エビングハウス [ほか] 著 ; K. ラモトケ編集 ; 成木勇夫訳
上,下. - 東京 : シュプリンガー・フェアラーク東京 , 1991.5-1991.6
Numbers / H.-D. Ebbinghaus ... [et al.] ; with an introduction by K. Lamotke ; translated by H. L. S. Orde ; edited by J. H. Ewing
New York : Springer-Verlag , c1991. - Tokyo. - (Graduate texts in mathematics ; 123 . Readings in mathematics)
Numbers / H.-D. Ebbinghaus ... [et al.] ; with an introduction by K. Lamotke ; translated by H.L.S. Orde ; edited by J.H. Ewing
: us : hard - : gw : soft. - New York ; Tokyo : Springer-Verlag , c1990. - (Graduate texts in mathematics ; 123 . Readings in mathematics)