Logické systémy. - Kolenička, Jan (rz1, 1976)