Logické systémy : Část 1. - Kolenička, Ján, 1939- (SNTL, 1976)