LUKASOVÁ, Alena. Formální logika v umělé inteligenci. Brno: Computer Press, 2003. xi, 269 s. ISBN 80-251-0023-5 (brož.). ISBN 978-80-251-0023-3 (brož.).
Dostupné komerčně digitalizovaně přes Google: http://books.google.cz/books?isbn=8025100235.
Ve: NK ČR (ABA001) -- prezenčně.