close
1.

電子ブック
ＥＢ
1. M-Solid Varieties of Algebras
by J. Koppitz, K. Denecke
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Advances in Mathematics ; 10
オンライン: http://dx.doi.org/10.1007/0-387-30806-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. 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…
3.

電子ブック
ＥＢ
3. 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…
4.

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

電子ブック
ＥＢ
5. Mathematical Logic and Model Theory : A Brief Introduction
by Alexander Prestel, Charles N. Delzell
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-2176-3
所蔵情報: loading…
6.

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

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

電子ブック
ＥＢ
8. Verification and Control of Hybrid Systems : A Symbolic Approach
by Paulo Tabuada
出版情報: Boston, MA : Springer-Verlag US, 2009
オンライン: http://dx.doi.org/10.1007/978-1-4419-0224-5
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. The q-theory of Finite Semigroups
by Benjamin Steinberg, John Rhodes
出版情報: Boston, MA : Springer-Verlag US, 2009
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/b104443
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. A Course in Formal Languages, Automata and Groups
by Ian M. Chiswell
出版情報: London : Springer-Verlag London, 2009
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-84800-940-0
所蔵情報: loading…