Formální logika. - Štěpán, Jan (Fin, nakladatelství a vydavatelství, spol. s r.o., 1995)