Logické systémy - Bača, Ján (Technická univerzita, 1987)