Logika pro informatiky (a příbuzné obory) : učební text - Duží, Marie, 1948- (VŠB-TU Ostrava, 2012)