Symbolic Logic and Applications

Textbooks:

1. John Kelly. The Essence of Logic. Prentice Hall, 1996.
2. Benjamin C. Pierce, et. al. Programming Language Foundations. Software Foundations series, 2018.

Articles:

1. Joseph Y. Halpern, et. al. On the Unusual Effectiveness of Logic in Computer Science. The Bulletin of Symbolic Logic, 2001.
2. W. V. Quine. The Ways of Paradox, 1976.

Further Reading:

1. Leo Bachmair and Harald Ganzinger. Resolution Theorem Proving, in "Handbook of Automated Reasoning.", 2001.
2. Martin Davis. The Universal Computer: The Road from Leibniz to Turing. W. W. Norton & Company, 2000.
3. Herbert B. Enderton. A Mathematical Introduction to Logic 2nd Edition. Academic Press, 2001.
4. Melvin Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, 1996.
5. Torkel Franzen Gödel's Theorem: An Incomplete Guide to Its Use and Abuse. A K Peters, 2005.
6. Volker Halbach The Logic Manual. Oxford University Press, 2010.
7. Uwe Schöning and Jacobo Torán. The Satisfiability Problem. Lehmanns Media, 2013.