Call Number (LC) Title Results
QA9.9 S77 2000 Quantum theoretic machines : what is thought from the point of view of physics / 1
QA9.9 S77 2000eb Quantum theoretic machines what is thought from the point of view of physics / 1
QA03 .A54 1995 Multivariable calculus / 1
QA10 Universal algebraic logic : dedicated to the unity of science /
Logics of variable inclusion /
Algebraic quasi-fractal logic of smart systems : theory and practice /
Algebraic perspectives on substructural logics /
Simple relation algebras /
Logic and implication : an introduction to the general algebraic study of non-classical logics /
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 /
Logic and Algebra /
Introduction to Relation Algebras. Relation Algebras /
Advanced topics in relation algebras : relation algebras.
Consequence Relations An Introduction to the Tarski-Lindenbaum Method.
Ernst Schröder on algebra and logic
BCC-ALGEBRAS.
The equationally-defined commutator : a study in equational logic and algebra /
Functions and generality of logic : reflections on Dedekind's and Frege's logicisms /
A general algebraic semantics for sentential logics / 		16
QA10 .A34 1998 A primer of probability logic / 2
QA10 .A44 1991 Algebraic logic / 1
QA10 .A45 1988 Proceedings /
Proceedings 		2
QA10 .A46 1993 Algebraic methods in logic and in computer science / 1
QA10 .A76 2001 Rudiments of [mu]-calculus / 1
QA10 .A76 2001eb Rudiments of [mu]-calculus 1
QA10 .B86 1991 A Peircean reduction thesis : the foundations of topological logic / 1
QA10 .C35 2000eb Cafe an industrial-strength algebraic formal method / 1
QA10 .C67 1986 Antimorphic action : categories of algebraic structures with involutions or anti-endomorphisms / 1
QA10 .C7 Logic in algebraic form. : Three languages and theories. 1
QA10 .C7 1974 Logic in algebraic form Three languages and theories / 1
QA10 .C74 2006 Semigroups underlying first-order logic / 2
QA10 .C94 2001 Protoalgebraic logics / 1
QA10 .C95 2012eb Cylindric-like algebras and algebraic logic / 1
QA10 .D5715 1980 Diskrete Mathematik und mathematische Fragen der Kybernetik / 1
QA10 .D634 2010 Stochastic coalgebraic logic 1