Formálna logika I. diel - Holomek, Jaroslava (Akad. Policajného zboru, 2000)