close
1.

電子ブック
ＥＢ
1. The Congruences of a Finite Lattice : A Proof-by-Picture Approach
by George Grätzer
出版情報: Boston, MA : Birkhäuser Boston, 2006
オンライン: http://dx.doi.org/10.1007/0-8176-4462-8
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Cardinal Invariants on Boolean Algebras
by J. Donald Monk
出版情報: Basel : Birkhäuser Basel, 2010
シリーズ名: Modern Birkhäuser Classics ;
オンライン: http://dx.doi.org/10.1007/978-3-0346-0334-8
所蔵情報: loading…
3.

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

電子ブック
ＥＢ
4. Proof Theory for Fuzzy Logics
by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Applied Logic Series ; 36
オンライン: http://dx.doi.org/10.1007/978-1-4020-9409-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Introduction to Boolean Algebras
by Steven Givant, Paul Halmos ; edited by S. Axler, K. A. Riber
出版情報: New York, NY : Springer New York, 2009
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-68436-9
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Towards a General Theory of Classifications
by Daniel Parrochia, Pierre Neuville
出版情報: Basel : Springer Basel : Imprint: Birkhäuser, 2013
シリーズ名: Studies in Universal Logic ;
オンライン: http://dx.doi.org/10.1007/978-3-0348-0609-1
所蔵情報: loading…
目次情報: 続きを見る
Foreword
1 Philosophical problems
2 Information data structures
3 Empirical Clustering and classic hierarchies
4 Algebra of trees
5 Generalized Classifications
6 Topology of generalized classifications
7 Meta-classification
8 For an axiomatic theory of classifications
9 Alternative theories and higher infinite
10 Postscript
Bibliography.
Foreword
1 Philosophical problems
2 Information data structures
7.

電子ブック
ＥＢ
7. Non-commutative Multiple-Valued Logic Algebras
by Lavinia Corina Ciungu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-3-319-01589-7
所蔵情報: loading…
目次情報: 続きを見る
Pseudo-BCK algebras
Pseudo-hoops
Residuated lattices
Other non-commutative multiple-valued logic algebras
Classes of non-commutative residuated structures
States on multiple-valued logic algebras
Measures on pseudo-BCK algebras
Generalized states on residuated structures
Pseudo-hoops with internal states
Pseudo-BCK algebras
Pseudo-hoops
Residuated lattices
8.

電子ブック
ＥＢ
8. Duality Theories for Boolean Algebras with Operators
by Steven Givant
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-3-319-06743-8
所蔵情報: loading…
目次情報:
1. Algebraic Duality
2. Topological Duality
3. Hybrid Duality
1. Algebraic Duality
2. Topological Duality
3. Hybrid Duality
9.

電子ブック
ＥＢ
9. Set Theory : Centre de Recerca Matemàtica Barcelona, 2003–2004
edited by Joan Bagaria, Stevo Todorcevic
出版情報: Basel : Birkhäuser Verlag, 2006
シリーズ名: Trends in Mathematics ;
オンライン: http://dx.doi.org/10.1007/3-7643-7692-9
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. From Objects to Diagrams for Ranges of Functors
by Pierre Gillibert, Friedrich Wehrung
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Mathematics ; 2029
オンライン: http://dx.doi.org/10.1007/978-3-642-21774-6
所蔵情報: loading…