books by subject

Mathematical Logic

Filter by available

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

By Dowek, Gilles

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

By Thompson, Paul B.

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

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

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

By Jech, Thomas

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

By Solozhentsev, E.D.

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

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

By Casadio, Claudia, Scott, Philip J.

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

By Markin, Vladimir, Zaitsev, Dmitry

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

By Mundici, D.

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

By Woleński, Jan

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

By Weiss, Christina

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

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

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

Awareness in Logic and Epistemology: A Conceptual Schema and Logical Study of The Underlying Main Epistemic Concepts: 52 (Logic, Epistemology, and the Unity of Science, 52)

By Fernández-Fernández, Claudia

Godel's Proof

By Nagel, Ernest, Newman, James R.

Introducing Logic (Graphic Guides)

By Mayblin, Bill, Cryan, Dan, Shatil, Sharron

From Stimulus to Science

By Quine, W. V.

Equations with Involutive Operators

By Karapetiants, Nikolai, Samko, Stefan

The Frege Reader (Wiley Blackwell Readers)

By Beaney

Numbers & Proofs (Modular Mathematics Series)

By Allenby, R. B. J. T.

Schaum's Outline of Boolean Algebra and Switching Circuits

By Mendelson, Elliott

SOS TITLE UNKNOWN

By Smullyan, Raymond

Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)

By Makinson, David

The Times Super Fiendish Su Doku Book 4: 200 challenging puzzles from The Times (The Times Su Doku)

By The Times Mind Games

Introduction to Mathematical Logic

By Mendelson, Elliott

Computational Complexity

By Papadimitriou, Christos H.

The Times Crossword Collection: 160 of the most famous crosswords in the world (The Times Crosswords)

By Laws

The Times Killer Su Doku 2: 100 challenging puzzles from The Times (The Times Su Doku)

By AIIA, Times Mind Games

Maths - Problem Solving & Reasoning Age 7-9 (Letts Wild About)

By Letts KS2

Elementary Applied Symbolic Logic

By Bangs Tapscott