Formálna logika. I. diel - Holomek, Jaroslav (Akadémia Policajného zboru SR, 2003)