books by subject
Mathematical Theory
New Essays on Frege: Between Science and Literature: 3 (Nordic Wittgenstein Studies, 3)
The Computer Modelling of Mathematical Reasoning
A Concise Introduction to Pure Mathematics, Second Edition (Chapman Hall/crc Mathematics)
Finite Geometries and Designs: Proceedings of the Second Isle of Thorns Conference 1980: 49 (London Mathematical Society Lecture Note Series, Series Number 49)
New Perspectives in Algebraic Combinatorics: 38 (Mathematical Sciences Research Institute Publications, Series Number 38)
Proofs from "The Book"
The Art of Logic: How to Make Sense in a World that Doesn't
"e": The Story of a Number (Princeton Science Library)
Math Hacks
Simple Sums (Usborne simple facts)
Thomas Reid on Mathematics and Natural Philosophy (The Edinburgh Edition of Thoma)
Theory of Information and Coding
Graham Priest on Dialetheism and Paraconsistency: 18 (Outstanding Contributions to Logic, 18)
A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)
Heyting Algebras: Duality Theory: 50 (Trends in Logic, 50)
Intangible Life: Functorial Connections in Relational Biology: 2 (Anticipation Science, 2)
Fading Foundations: Probability and the Regress Problem: 383 (Synthese Library, 383)
Descriptor Revision: Belief Change through Direct Choice: 46 (Trends in Logic, 46)
Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language: 373 (Synthese Library, 373)
The Later Wittgenstein and Moral Philosophy: 4 (Nordic Wittgenstein Studies, 4)
Number: From Ahmes to Cantor
A New Foundation for Representation in Cognitive and Brain Science: Category Theory and the Hippocampus: 7 (Springer Series in Cognitive and Neural Systems, 7)
Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic: 19 (Outstanding Contributions to Logic, 19)
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)
The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)
Semantics and Truth: 45 (Logic, Epistemology, and the Unity of Science, 45)
Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)
Constructive Semantics: Meaning in Between Phenomenology and Constructivism: 44 (Logic, Epistemology, and the Unity of Science, 44)
Flow, Gesture, and Spaces in Free Jazz: Towards a Theory of Collaboration (Computational Music Science)
