books by subject
Mathematical Logic
Remarks on the Foundations of Mathematics
The Computer Modelling of Mathematical Reasoning
Know Your Own IQ
Finite Automata
Complexity: Knots, Colourings and Countings: 186 (London Mathematical Society Lecture Note Series, Series Number 186)
Finite Geometries and Designs: Proceedings of the Second Isle of Thorns Conference 1980: 49 (London Mathematical Society Lecture Note Series, Series Number 49)
The Art of Logic: How to Make Sense in a World that Doesn't
Logic
Rough Sets and Knowledge Technology: 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings: 5589 (Lecture Notes in Computer Science, 5589)
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)
Fading Foundations: Probability and the Regress Problem: 383 (Synthese Library, 383)
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory: 53 (Trends in Logic, 53)
Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry: 49 (Trends in Logic, 49)
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)
New Essays on Frege: Between Science and Literature: 3 (Nordic Wittgenstein Studies, 3)
Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations: 48 (Trends in Logic, 48)
Introduction to Formal Languages (Dover Books on Mathematics)
Sweet Reason: A Field Guide to Modern Logic, 2nd Edition
How to Solve It: A New Aspect of Mathematical Method (Princeton Science Library)
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
The Ethics of Intensification: Agricultural Development and Cultural Change: 16 (The International Library of Environmental, Agricultural and Food Ethics, 16)
Ludwig Wittgenstein: Dictating Philosophy: To Francis Skinner – The Wittgenstein-Skinner Manuscripts
Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics)
Risk Management Technologies: With Logic and Probabilistic Models: 20 (Topics in Safety, Risk, Reliability and Quality, 20)
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)
