čeština, angličtina

E. Mendelson, Introduction to Mathematical Logic, Chapman&Hall, 2001 A. Nerode, R.A. Shore, Logic for Applications, Springer-Verlag 1993 D.M. Gabbay, C.J. Hogger, J.A. Robinson, Handbook of Logic for Artificial Intelligence and Logic Programming, Oxford Univ. Press 1993 G. Metakides, A. Nerode, Principles of logic and logic programming, Elsevier, 1996 Melvin Fitting, First order logic and automated theorem proving, Springer, 1996 Sally Popkorn, First steps in modal logic, Cambridge Univ. Press, 1994

E. Mendelson, Introduction to Mathematical Logic, Chapman&Hall, 2001 A. Nerode, R.A. Shore, Logic for Applications, Springer-Verlag 1993 D.M. Gabbay, C.J. Hogger, J.A. Robinson, Handbook of Logic for Artificial Intellogence and Logic Programming, Oxford Univ. Press 1993 G. Metakides, A. Nerode, Principles of logic and logic programming, Elsevier, 1996 Melvin Fitting, First order logic and automated theorem proving, Springer, 1996 Sally Popkorn, First steps in modal logic, Cambridge Univ. Press, 1994 A. Sochor, Klasická matematická logika, Karolinum, 2001 V. Švejnar, Logika, neúplnost a složitost, Academia, 2002