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. Methods of Cut-Elimination
by Alexander Leitsch, Matthias Baaz
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Trends in Logic ; 34
オンライン: http://dx.doi.org/10.1007/978-94-007-0320-9
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logica: Metodo Breve
by Daniele Mundici
出版情報: Milano : Springer Milan, 2011
シリーズ名: UNITEXT ; 1
オンライン: http://dx.doi.org/10.1007/978-88-470-1884-6
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Institution-independent Model Theory
by Răzvan Diaconescu ; edited by Jean-Yves Beziau, Hajnal Andréka, Mark Burgin, Răzvan Diaconescu, Josep Maria Font, Andreas Herzig, Arnold Koslow, Jui-Lin Lee, Larissa Maksimova, Grzegorz Malinowski, Darko Sarenac, Peter Schröder-Heister, Vladimir Vasyukov
出版情報: Basel : Birkhäuser Verlag AG, 2008
シリーズ名: Studies in Universal Logic ;
オンライン: http://dx.doi.org/10.1007/978-3-7643-8708-2
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
edited by Ryszard Wójcicki, Vincent F. Hendricks, Daniele Mundici, Ewa Orłowska, Krister Segerberg, Heinrich Wansing, David Makinson, Jacek Malinowski, Heinrich Wansing
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Trends in Logic ; 28
オンライン: http://dx.doi.org/10.1007/978-1-4020-9084-4
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Logic: A Brief Course
by Daniele Mundici
出版情報: Milano : Springer Milan, 2012
シリーズ名: Collana Unitext — La Matematica per il 3+2 ;
オンライン: http://dx.doi.org/10.1007/978-88-470-2361-1
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. A Course on Mathematical Logic. 2nd ed. 2013
by Shashi Mohan Srivastava
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-5746-6
所蔵情報: loading…
目次情報: 続きを見る
Preface
1 Syntax of First-Order Logic
2 Semantics of First-Order Languages
3 Propositional Logic
4 Completeness Theorem for First-Order Logic
5 Model Theory
6 Recursive Functions and Arithmetization of Theories
7 Incompleteness Theorems and Recursion Theory
References
Index
Preface
1 Syntax of First-Order Logic
2 Semantics of First-Order Languages
8.

電子ブック
ＥＢ
8. 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
9.

電子ブック
ＥＢ
9. Cylindric-like Algebras and Algebraic Logic
edited by Hajnal Andréka, Miklós Ferenczi, István Németi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Bolyai Society Mathematical Studies ; 22
オンライン: http://dx.doi.org/10.1007/978-3-642-35025-2
所蔵情報: loading…
目次情報: 続きを見る
Introduction
H. Andréka and I. Németi: Reducing First-order Logic to Df3, Free Algebras
N.Bezhanishvili: Varieties of Two-Dimensional Cylindric Algebras
R. Hirsch and I. Hodkinson: Completions and Complete Representations
J. Madarász and T. Sayed Ahmed: Amalgamation, Interpolation and Epimorphisms in Algebraic Logic
T. Sayed Ahmed: Neat Reducts and Neat Embeddings in Cylindric Algebras
M. Ferenczi: A New Representation Theory: Representing Cylindric-like Algebras by Relativized Set Algebras
A. Simon: Representing all Cylindric Algebras by Twisting, On a Problem of Henkin
A. Kurucz: Representable Cylindric Algebras and Many-Dimensional Modal Logics
T. Sayed Ahmed: Completions, Complete Representations and Omitting Types
G. Serény: Elements of Cylindric Algebraic Model Theory
Y. Venema: Cylindric Modal Logic
J. van Benthem: Crs and Guarded Logics: A Fruitful Contact
R. S. Dordevic and M. D. Raskovic: Cylindric Probability Algebras.-I. Duentsch: Cylindric Algebras and Relational Databases. – M. Ferenczi: Probability Measures and Measurable Functions on Cylindric Algebras. – A. Mann: Cylindric Set Algebras and IF Logic. – G. Sági: Polyadic Algebras. – I. Sain: Definability Issues in Universal Logic. – Bibliography. - Index
Introduction
H. Andréka and I. Németi: Reducing First-order Logic to Df3, Free Algebras
N.Bezhanishvili: Varieties of Two-Dimensional Cylindric Algebras
10.

電子ブック
ＥＢ
10. Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume
edited by Manindra Agrawal, Vikraman Arvind
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2014
シリーズ名: Progress in Computer Science and Applied Logic ; 26
オンライン: http://dx.doi.org/10.1007/978-3-319-05446-9
所蔵情報: loading…
目次情報: 続きを見る
Preface
1. Complexity Theory Basics: NP and NL (Vikraman Arvind)
2. Investigations Concerning the Structure of Complete Sets (Eric Allender)
3. Space Complexity of the Directed Reachability Problem Over Surface-embedded Graphs (N.V. Vinodchandran)
4. Algebraic Complexity Classes (Meena Mahajan)
5. A Selection of Lower Bound Results for Arithmetic Circuits (Neeraj Kayal and Ramprasad Saptharishi)
6. Explicit Tensors (Markus Bläser)
7. Progress on Polynomial Identity Testing (Nitin Saxena)
8. Malod and the Pascaline (Bruno Poizat)
9. A Tutorial in Time and Space Bounds for Tree-like Resolution (Jacobo Torán)
10. An Entropy Based Proof for the Moore Bound for Irregular Graphs (S. Ajesh Babu and Jaikumar Radharishnan)
11. Permutation Groups and the Graph Isomorphism Problem (Sumanta Ghosh and Piyush P. Kurur)
Preface
1. Complexity Theory Basics: NP and NL (Vikraman Arvind)
2. Investigations Concerning the Structure of Complete Sets (Eric Allender)