Bulletin of the Section of Logic

Bulletin of the Section of Logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	journal
Γλώσσα:	English
Έκδοση:	Lodz University Press 2020
Θέματα:	logical calculi logical calculus mathematical logic and foundations computer science general algebraic systems ordered algebraic structures Logic BC1-199
Διαθέσιμο Online:	https://doaj.org/toc/2449-836X

Παρόμοια τεκμήρια

Duality Theories for Boolean Algebras with Operators
ανά: Givant, Steven
Έκδοση: (2014)

Proof Theory for Fuzzy Logics
ανά: Metcalfe, George, κ.ά.
Έκδοση: (2009)

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Έκδοση: (2016)

Introduction to Boolean Algebras
ανά: Halmos, Paul, κ.ά.
Έκδοση: (2009)

Cardinal Invariants on Boolean Algebras Second Revised Edition /
ανά: Monk, J. Donald
Έκδοση: (2014)

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004 /
Έκδοση: (2006)

Ordered Sets An Introduction with Connections from Combinatorics to Topology /
ανά: Schröder, Bernd
Έκδοση: (2016)

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
Έκδοση: (2008)

Non-commutative Multiple-Valued Logic Algebras
ανά: Ciungu, Lavinia Corina
Έκδοση: (2014)

From Objects to Diagrams for Ranges of Functors
ανά: Gillibert, Pierre, κ.ά.
Έκδοση: (2011)

Towards a General Theory of Classifications
ανά: Parrochia, Daniel, κ.ά.
Έκδοση: (2013)

The Congruences of a Finite Lattice A "Proof-by-Picture" Approach /
ανά: Grätzer, George
Έκδοση: (2016)

The Congruences of a Finite Lattice A Proof-by-Picture Approach /
ανά: Grätzer, George
Έκδοση: (2006)

The q-theory of Finite Semigroups
ανά: Rhodes, John, κ.ά.
Έκδοση: (2009)

Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings /
Έκδοση: (2009)

M-Solid Varieties of Algebras
ανά: Koppitz, J., κ.ά.
Έκδοση: (2006)

Proof Theory and Algebra in Logic
ανά: Ono, Hiroakira, κ.ά.
Έκδοση: (2019)

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings /
Έκδοση: (2013)

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory /
ανά: Lau, Dietlinde
Έκδοση: (2006)

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV /
Έκδοση: (2009)

Introduction to Relation Algebras Relation Algebras, Volume 1 /
ανά: Givant, Steven
Έκδοση: (2017)

Advanced Topics in Relation Algebras Relation Algebras, Volume 2 /
ανά: Givant, Steven
Έκδοση: (2017)

Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
Έκδοση: (2015)

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings /
Έκδοση: (2007)

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings /
Έκδοση: (2008)

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings /
Έκδοση: (2006)

Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings /
Έκδοση: (2011)

Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings /
Έκδοση: (2012)

Informal Logic
Έκδοση: (2008)

A Course on Mathematical Logic
ανά: Srivastava, S. M.
Έκδοση: (2008)

A Course on Mathematical Logic
ανά: Srivastava, Shashi Mohan
Έκδοση: (2013)

Problems and Proofs in Numbers and Algebra
ανά: Millman, Richard S., κ.ά.
Έκδοση: (2015)

Lecture Notes on O-Minimal Structures and Real Analytic Geometry
Έκδοση: (2012)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Έκδοση: (2009)

Cylindric-like Algebras and Algebraic Logic
Έκδοση: (2013)

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
Έκδοση: (2015)

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Έκδοση: (2017)

Philosophies
Έκδοση: (2017)

Logical Methods in Computer Science
Έκδοση: (2004)

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
ανά: Doberkat, Ernst-Erich
Έκδοση: (2015)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_fse115f7vn3s1g01cmcs914ltq