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

More specific information is included in each subfield.

Subfields and ConceptsEdit

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

Online CoursesEdit

Video LecturesEdit

Lecture NotesEdit


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.


  • Prolog

See alsoEdit

Other ResourcesEdit

Community content is available under CC-BY-SA unless otherwise noted.