books by subject
Mathematical Theory

Mathematics and Reality

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)

The Later Wittgenstein and Moral Philosophy: 4 (Nordic Wittgenstein Studies, 4)

Flow, Gesture, and Spaces in Free Jazz: Towards a Theory of Collaboration (Computational Music Science)

Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics)

Ludwig Wittgenstein: Dictating Philosophy: To Francis Skinner – The Wittgenstein-Skinner Manuscripts

Theory of Approximation of Functions of a Real Variable

Some Points of Analysis and Their History (University Lecture Series)

Uncountable: A Philosophical History of Number and Humanity from Antiquity to the Present

How to Solve It: A New Aspect of Mathematical Method (Princeton Science Library)

Introduction to Formal Languages (Dover Books on Mathematics)

Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations: 48 (Trends in Logic, 48)

New Essays on Frege: Between Science and Literature: 3 (Nordic Wittgenstein Studies, 3)

Heyting Algebras: Duality Theory: 50 (Trends in Logic, 50)

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)

Fading Foundations: Probability and the Regress Problem: 383 (Synthese Library, 383)

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language: 373 (Synthese Library, 373)

Descriptor Revision: Belief Change through Direct Choice: 46 (Trends in Logic, 46)

Coincidences, Chaos, and All That Math Jazz: Making Light of Weighty Ideas
