books by subject

Mathematical Logic

Filter by available

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

By Başkent, Can, Ferguson, Thomas Macaulay

Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level: 18 (Logic, Argumentation & Reasoning, 18)

By Rahman, Shahid, McConaughey, Zoe, Klev, Ansten, Clerbout, Nicolas

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

By Fazio, Davide, Ledda, Antonio, Paoli, Francesco

Constructive Semantics: Meaning in Between Phenomenology and Constructivism: 44 (Logic, Epistemology, and the Unity of Science, 44)

By Weiss, Christina

Semantics and Truth: 45 (Logic, Epistemology, and the Unity of Science, 45)

By Woleński, Jan

Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic, 35)

By Mundici, D.

The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

By Markin, Vladimir, Zaitsev, Dmitry

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)

By Casadio, Claudia, Scott, Philip J.

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

Risk Management Technologies: With Logic and Probabilistic Models: 20 (Topics in Safety, Risk, Reliability and Quality, 20)

By Solozhentsev, E.D.

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

The Ethics of Intensification: Agricultural Development and Cultural Change: 16 (The International Library of Environmental, Agricultural and Food Ethics, 16)

By Thompson, Paul B.

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

By Dowek, Gilles

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

By Polya, G., Conway, John H.

Sweet Reason: A Field Guide to Modern Logic, 2nd Edition

By Henle, James M.

Introduction to Formal Languages (Dover Books on Mathematics)

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

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

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

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

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

By Torza, Alessandro

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

By Hansson, Sven Ove

Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry: 49 (Trends in Logic, 49)

By Ferguson, Thomas Macaulay

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)

By Schuster, Peter M., Seisenberger, Monika, Weiermann, Andreas

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

By Atkinson, David, Peijnenburg, Jeanne

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

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

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

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

The Times Su Doku Book 8: 150 original puzzles

By The Times Mind Games

Numbers, Sets and Axioms: The Apparatus of Mathematics

By Hamilton, A. G.

Logic Book

By Bergmann, Merrie, Moor, James, Nelson, Jack

The Times Difficult Su Doku Book 1: 200 dreadfully tricky Su Doku puzzles (The Times Su Doku)

By Gould, .