Logické systémy 1 - Jáneš, Vlastimil, 1935- (ČVUT, 1986)