Teorie formálních systémů

A.Thayse et al.: From standard logic to logic programming /Introducing a logic based approach to arificial intelligence/. John Wiley and Sons, 1989
Duží, M.: Matematická logika. Učební texty v elektronické podobě, http://www.cs.vsb.cz/duzi/matlogika.html VŠB -TU Ostrava, 2004.
Metakides, G., Nerode, A.: Principles of Logic and Logic Programming. Elsevier 1996.
Kolář, J.-Štěpánková¨, O -Chytil, M.: Logika, algebra, grafy. Praha, SNTL 1989.
Lukasová, A.: Logické základy umělé inteligence, skripta PF Ostravské univerzity, 1999

T Richards: Clausal form logic /An Introduction to the logic of computer reasoning/ Addison-Wesley, 1989
W.Bibel: Deduction /Automated Logic/. Academic Press, San Diego, 1993
Nerode, Anil - Shore, Richard A. Logic for applications. New York : Springer-Verlag, 1993. Texts and Monographs in Computer Science.
Fitting, Melvin. First order logic and automated theorem proving [1996]. 2nd ed. New York : Springer, Graduate texts in computer science.
F.Kroeger: Temporal Logic of Programs. Springer-Verlag,