books by subject
Mathematical Logic

Introduction to Mathematical Logic

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

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

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

Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level: 18 (Logic, Argumentation & Reasoning, 18)

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)

Godel's Proof

Introducing Logic (Graphic Guides)

From Stimulus to Science

Equations with Involutive Operators

The Frege Reader (Wiley Blackwell Readers)

Numbers & Proofs (Modular Mathematics Series)

Schaum's Outline of Boolean Algebra and Switching Circuits

SOS TITLE UNKNOWN

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

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

An Introduction to Maxwell's Equations: Book 1

Cogwheels of the Mind: The Story of Venn Diagrams

Mathematical Proofs: A Transition to Advanced Mathematics: United States Edition

A Modern Elementary Logic (University Paperbacks)

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

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

The Equations: Icons of Knowledge

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

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

Computational Complexity

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

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

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