Mathematical Logic

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

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

By Woleński, Jan

Descriptor Revision: Belief Change through Direct Choice: 46 (Trends in Logic, 46)

By Hansson, Sven Ove

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language: 373 (Synthese Library, 373)

By Torza, Alessandro

New Essays on Frege: Between Science and Literature: 3 (Nordic Wittgenstein Studies, 3)

By Bengtsson, Gisela, Säätelä, Simo, Pichler, Alois

Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations: 48 (Trends in Logic, 48)

By Dalla Chiara, Maria Luisa, Giuntini, Roberto, Leporini, Sergioli, Giuseppe

Introduction to Formal Languages (Dover Books on Mathematics)

By Révész, György E.

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

By Henle, James M.

How to Solve It: A New Aspect of Mathematical Method (Princeton Science Library)

By Polya, G., Conway, John H.

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

By Dowek, Gilles

The Ethics of Intensification: Agricultural Development and Cultural Change: 16 (The International Library of Environmental, Agricultural and Food Ethics, 16)

By Thompson, Paul B.

Ludwig Wittgenstein: Dictating Philosophy: To Francis Skinner – The Wittgenstein-Skinner Manuscripts

By Gibson, Arthur, O'Mahony, Niamh, Wittgenstein, Ludwig, Skinner, Francis

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

By Jech, Thomas

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.

Equations with Involutive Operators

By Karapetiants, Nikolai, Samko, Stefan

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

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

By Fazio, Davide, Ledda, Antonio, Paoli, Francesco