|
QA9.8 .H63 1999
|
Gödel, Escher, Bach : an eternal golden braid / |
1 |
|
QA10
|
Universal algebraic logic : dedicated to the unity of science /
Logic and implication : an introduction to the general algebraic study of non-classical logics /
Logics of variable inclusion / |
3 |
|
QA10 .A44 2021eb
|
Algebraic perspectives on substructural logics / |
1 |
|
QA10 .A52 1997
|
Decision problems for equational theories of relation algebras / |
1 |
|
QA10 .B56 1989
|
Algebraizable logics / |
1 |
|
QA10 .C74 2006
|
Semigroups underlying first-order logic / |
2 |
|
QA10 .C9
|
Cylindric set algebras. |
1 |
|
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
|
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / |
1 |
|
QA10 .H34 1986
|
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / |
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 .I578 2003
|
Logic and its applications /
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 / |
2 |
|
QA10 .L63 1996
|
Logic and algebra / |
1 |
|
QA10 .P65 2022eb
|
Ernst Schröder on algebra and logic / |
1 |
|
QA10.R47 2007 QA10 .R47 2007eb
|
Residuated Lattices : an Algebraic Glimpse at Substructural Logics. |
1 |
|
QA10 .S78
|
Studies in algebraic logic / |
1 |
|
QA10.3
|
Advanced Boolean techniques : selected papers from the 15th International Workshop on Boolean Problems /
Recent findings in Boolean techniques : selected papers from the 14th International Workshop on Boolean Problems /
Logic functions and equations : fundamentals and applications using the XBOOLE-Monitor / |
3 |
|
QA10.3 .B66 2008eb
|
Boolean functions in cryptology and information security / |
1 |
|
QA10.3 .I58 2020eb
|
Advanced Boolean techniques : selected papers from the 13th International Workshop on Boolean Problems / |
1 |