Logické systémy. Návody na cvičenia - Mach, Ivan (Slovenská technická univerzita v Bratislave, 1993)