Mathematical Logic

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

By Jech, Thomas

An Introduction to Maxwell's Equations: Book 1

By Bolton. J

Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings: 6706 (Lecture Notes in Computer Science, 6706)

By Gogolla, Martin, Wolff, Burkhart

Green Collection (50 Mathematical Puzzles and Problems)

By Cohen, Gilles

Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings: 2053 (Lecture Notes in Computer Science, 2053)

By Danvy, Olivier, Filinski, Andrzej

The Times Samurai Su Doku: 100 extreme puzzles for the fearless Su Doku warrior (The Times Su Doku)

By The Times Mind Games, .

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.

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.