Call Number (LC) Title Results
QA9.8 Mathematicians and their gods : interactions between mathematics and religious beliefs / 1
QA9.8 .E5413 1993 Foundations of mathematics : questions of analysis, geometry & algorithms / 1
QA9.8 .H63 Gödel, Escher, Bach : an eternal golden braid / 1
QA9.8 .H63 1999 Gödel, Escher, Bach : an eternal golden braid / 1
QA10 Logic and implication : an introduction to the general algebraic study of non-classical logics /
Logics of variable inclusion /
Universal algebraic logic : dedicated to the unity of science /
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