Call Number (LC) Title Results
QA10 .D85 2001 Algebraic methods in philosophical logic / 1
QA10 .F66 1996 A general algebraic semantics for sentential logics / 1
QA10 .G5613 1985 Algebraic logic / 2
QA10.G58 1994 The Structure of Relation Algebras Generated by Relativizations. 1
QA10 .G58 1994 The structure of relation algebras generated by relativizations / 1
QA10 .H34 1986 Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / 1
QA10 .H34 1986eb Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / 1
QA10 .H344 1996 Sentential probability logic : origins, development, current status, and technical applications / 1
QA10 .H35 2021 Hajnal Andréka and István Németi on unity of science : from computing to relativity theory through algebraic logic / 1
QA10 .H57 2002 Relation algebras by games / 1
QA10 .H57 2002eb Relation algebras by games 1
QA10 .I578 2003 Logic and its applications : International Conference on Logic and Its Applications in Algebra and Geometry, April 11-13, 2003, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, April 14-15, 2003, University of Michigan, Ann Arbor, Michigan /
Logic and its applications / 		3
QA10 .I58 2003 Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / 1
QA10 .I58 2006 Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / 1
QA10 .I58 2006eb Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / 1
QA10 .I58 2008 Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings / 1
QA10 .I584 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, 2009 : proceedings / 1
QA10 .L63 1996 Logic and algebra / 1
QA10 .L85 1991 Lukasiewicz-Moisil algebras / 1
QA10 .L85 1991eb Lukasiewicz-Moisil algebras 1