Logic

This page contains resources about Logic in general and Automated Reasoning.

More specific information is included in each subfield.

Subfields and Concepts

 * First-Order Logic / Predicate Logic
 * Sequential Logic / Propositional Logic
 * Modal Logic

Lecture Notes

 * Logic by Yiannis Moschovakis
 * Mathematical Logic by Lou van den Dries

Books
See Referencesfor more books.
 * Augusto, L. M. (2017). Logical consequences. Theory and applications: An introduction. London: College Publications.
 * Ben-Ari, M. (2003). Mathematical Logic for Computer Science (2nd ed.). Springer-Verlag.
 * Huth, M., Ryan, M. (2004). Logic in Computer Science: Modelling and Reasoning about Systems (2nd ed.). Cambridge University Press.
 * Burris, S. N. (1997). Logic for Mathematics and Computer Science. Prentice Hall.

Software

 * Prolog

Other Resources

 * What's the difference between predicate and propositional logic?