Logické systémy 1 - Jáneš, Vlastimil, 1935- (Praha : ČVUT, 1986)
Keywords: logické systémy; učebnice vysokých škôl