Mathematical Logic

Remarks on the Foundations of Mathematics

By Wittgenstein, Ludwig, Wright, G. H. von, Anscombe, G. E. M.

The Computer Modelling of Mathematical Reasoning

By Bundy, Alan

Know Your Own IQ (Pelican)

By H. J. EYSENCK, Eysenck, Hans, Hans Eysenck

Finite Automata

By Lawson, Mark V.

Complexity: Knots, Colourings and Countings: 186 (London Mathematical Society Lecture Note Series, Series Number 186)

By Welsh, D. J. A.

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.

The Art of Logic: How to Make Sense in a World that Doesn't

By Cheng, Eugenia

Logic

By Tomassi, Paul

Rough Sets and Knowledge Technology: 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings: 5589 (Lecture Notes in Computer Science, 5589)

By Wen, Peng, Li, Yuefeng, Polkowski, Lech, Yao, Yiyu Y., Tsumoto, Shusaku

Graham Priest on Dialetheism and Paraconsistency: 18 (Outstanding Contributions to Logic, 18)

By Başkent, Can, Ferguson, Thomas Macaulay

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

By Kotlarski, Henryk, Adamowicz, Zofia, Bigorajska, Teresa, Zdanowski, Konrad

Heyting Algebras: Duality Theory: 50 (Trends in Logic, 50)

By Esakia, Leo, Bezhanishvili, Guram, Holliday, Wesley H., Evseev, Anton

Fading Foundations: Probability and the Regress Problem: 383 (Synthese Library, 383)

By Atkinson, David, Peijnenburg, Jeanne

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory: 53 (Trends in Logic, 53)

By Schuster, Peter M., Seisenberger, Monika, Weiermann, Andreas

Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry: 49 (Trends in Logic, 49)

By Ferguson, Thomas Macaulay

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