Formální logika - Štěpán, Jan, 1948- (Fin, 1995)