Logické systémy - Bača, Ján (Technická univerzita v Košiciach, Elektrotechnická fakulta, 1992)