- Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series) by D.L. Johnson, 1998-02-27
- Introduction to Logic: Propositional Logic, Revised Edition (3rd Edition) by Howard Pospesel, 1999-11-06
- How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency (Studies in Logic) by Francesco Berto, 2007-03-15
- Introduction to Logic: Predicate Logic (2nd Edition) by Howard Pospesel, 2002-06-29
- Proof and Consequence: An Introduction to Classical Logic with SIMON and SIMON SAYS by Nicole A., Friedrich, et all 2006-06-29
- Many-Dimensional Modal Logics: Theory and Applications, Volume 148 (Studies in Logic and the Foundations of Mathematics) by A. Kurucz, F. Wolter, et all 2003-11-04
- Constructibility (Perspectives in Mathematical Logic) by K. J. Devlin, 1984-07-16
- Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Math Logic (Lecture Notes in Mathematics) by venezuel Latin-American Symposium on Mathematical Logic 1983 Caracas, C. A. Di Prisco, 1985-12
- Model-Theoretic Logics (Perspectives in Mathematical Logic)
- Mathematical Logic in Computer Science (Colloquia Mathematica Societatis Janos Bolyai)
- Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs) by V. P. Orevkov, 1993-10-01
- General Recursion Theory: An Axiomatic Approach (Perspectives in Mathematical Logic) by J. E. Fenstad, 1980-05-06
- Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics) by Alfred Tarski, Andrzej Mostowski, et all 2010-08-19
- Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science) by David Makinson, 2008-09-12
|