Mathematical Logic

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

By Henle, James M.

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

By Laws

Computational Complexity

By Papadimitriou, Christos H.

Introduction to Mathematical Logic

By Mendelson, Elliott

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

By The Times Mind Games

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

By Makinson, David

SOS TITLE UNKNOWN

By Smullyan, Raymond

Schaum's Outline of Boolean Algebra and Switching Circuits

By Mendelson, Elliott

Numbers & Proofs (Modular Mathematics Series)

By Allenby, R. B. J. T.

The Frege Reader (Wiley Blackwell Readers)

By Beaney

Equations with Involutive Operators

By Karapetiants, Nikolai, Samko, Stefan

From Stimulus to Science

By Quine, W. V.

Introducing Logic (Graphic Guides)

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

Godel's Proof

By Nagel, Ernest, Newman, James R.

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

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.

The Computer Modelling of Mathematical Reasoning

By Bundy, Alan