close
1.

電子ブック
ＥＢ
1. Ernst Zermelo - Collected Works/Gesammelte Werke : Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 21
オンライン: http://dx.doi.org/10.1007/978-3-540-79384-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. 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
オンライン: http://dx.doi.org/10.1007/978-3-540-70856-8
所蔵情報: loading…
目次情報: 続きを見る
Ernst Zermelo’s curriculum vitae by Heinz-Dieter Ebbinghaus
Zermelo 1894
Zermelo 1896a
Boltzmann 1896
Zermelo 1896b
Boltzmann 1897
Zermelo 1899a
Zermelo s1899b
Zermelo 1900
Zermelo 1902a
Zermelo s1902b
Zermelo s1902c
Zermelo 1902d
Zermelo 1904a
Hahn and Zermelo 1904
Zermelo 1906
Riesenfeld and Zermelo 1909
Zermelo 1928
Zermelo 1930c
Zermelo 1931a
Zermelo 1933a
Bibliography
Index
Ernst Zermelo’s curriculum vitae by Heinz-Dieter Ebbinghaus
Zermelo 1894
Zermelo 1896a
3.

電子ブック
ＥＢ
3. Finite Model Theory. Second Revised and Enlarged Edition 1999
by Heinz-Dieter Ebbinghaus, Jörg Flum
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/3-540-28788-4
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Ernst Zermelo : An Approach to His Life and Work
by Heinz-Dieter Ebbinghaus
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
オンライン: http://dx.doi.org/10.1007/978-3-540-49553-6
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Mathematical Logic. 3rd ed. 2021
by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: Graduate Texts in Mathematics ; 291
オンライン: https://doi.org/10.1007/978-3-030-73839-6
所蔵情報: loading…
目次情報: 続きを見る
A
I Introduction
II Syntax of First-Order Languages
III Semantics of First-Order Languages
IV A Sequent Calculus
V The Completeness Theorem
VI The Löwenheim–Skolem and the Compactness Theorem
VII The Scope of First-Order Logic
VIII Syntactic Interpretations and Normal Forms
B
IX Extensions of First-Order Logic
X Computability and Its Limitations
XI Free Models and Logic Programming
XII An Algebraic Characterization of Elementary Equivalence
XIII Lindström’s Theorems
References
List of Symbols
Subject Index
A
I Introduction
II Syntax of First-Order Languages