Formální logika v umělé inteligenci - Lukasová, Alena (Computer Press, 2003)