Mathematical Logic

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 Samurai Su Doku: 100 extreme puzzles for the fearless Su Doku warrior (The Times Su Doku)

By The Times Mind Games, .

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

Green Collection (50 Mathematical Puzzles and Problems)

By Cohen, Gilles

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

An Introduction to Maxwell's Equations: Book 1

By Bolton. J

Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers

By Mazur, Joseph

At Sixes and Sevens: How to Understand Numbers and Make Maths Easy

By Rachel Riley, Dr Gareth Moore