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 |