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
Online Courses[]
Video Lectures[]
Lecture Notes[]
Books[]
See References for 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