Mathematical Logic

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

By Makinson, David

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

Green Collection (50 Mathematical Puzzles and Problems)

By Cohen, Gilles

A Modern Elementary Logic (University Paperbacks)

By L. Susan Stebbing, C. W. K. Mumble

The Ultimate Mathematical Challenge: Over 365 puzzles to test your wits and excite your mind

By The UK Mathematics Trust

The Times MindGames Number and Logic Puzzles Book 1: 500 brain-crunching puzzles, featuring 7 popular mind games (The Times Puzzle Books)

By The Times Mind Games

The Equations: Icons of Knowledge

By Bais, Sander

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

By Mazur, Joseph

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

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

By Laws

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 Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

By Markin, Vladimir, Zaitsev, Dmitry

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