Mathematical Theory

The Computer Modelling of Mathematical Reasoning

By Bundy, Alan

A Concise Introduction to Pure Mathematics, Second Edition (Chapman Hall/crc Mathematics)

By Liebeck, Martin

Finite Geometries and Designs: Proceedings of the Second Isle of Thorns Conference 1980: 49 (London Mathematical Society Lecture Note Series, Series Number 49)

By Cameron, P. J.

New Perspectives in Algebraic Combinatorics: 38 (Mathematical Sciences Research Institute Publications, Series Number 38)

By Billera, Louis J., Björner, Anders, Greene, Curtis, Simion, Rodica E., Stanley, Richard P.

Proofs from "The Book"

By Aigner, Martin, Ziegler, Gunter M.

The Art of Logic: How to Make Sense in a World that Doesn't

By Cheng, Eugenia

"e": The Story of a Number (Princeton Science Library)

By Maor, Eli

Math Hacks

By Cochrane, Richard

Simple Sums (Usborne simple facts)

By Watson, Carol, Higham, David

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

By Dalla Chiara, Maria Luisa, Giuntini, Roberto, Leporini, Sergioli, Giuseppe

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)

By Madarász, Judit, Szekely, Gergely

A New Foundation for Representation in Cognitive and Brain Science: Category Theory and the Hippocampus: 7 (Springer Series in Cognitive and Neural Systems, 7)

By Gómez-Ramirez, Jaime

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

By Mazzola, Guerino, Cherlin, Paul B., Rissi, Mathias, Kennedy, Nathan

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

By Jech, Thomas

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

By Gibson, Arthur, O'Mahony, Niamh, Wittgenstein, Ludwig, Skinner, Francis

Theory of Approximation of Functions of a Real Variable

By Timan, A.F.

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

By Garding, Lars

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

By Nirenberg, David, Ricardo L

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

By Polya, G., Conway, John H.

Introduction to Formal Languages (Dover Books on Mathematics)

By Révész, György E.

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

By Atkinson, David, Peijnenburg, Jeanne

Theory of Information and Coding

By McEliece, Robert J.

Graham Priest on Dialetheism and Paraconsistency: 18 (Outstanding Contributions to Logic, 18)

By Başkent, Can, Ferguson, Thomas Macaulay

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

By Kotlarski, Henryk, Adamowicz, Zofia, Bigorajska, Teresa, Zdanowski, Konrad

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

By Esakia, Leo, Bezhanishvili, Guram, Holliday, Wesley H., Evseev, Anton

Intangible Life: Functorial Connections in Relational Biology: 2 (Anticipation Science, 2)

By Louie, A.H.

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

By Torza, Alessandro

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

By Bengtsson, Gisela, Säätelä, Simo, Pichler, Alois

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

By De Mesel, Benjamin

Philosophy of Mathematics 2ed: Selected Readings

By Benacerraf, Paul