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