Logické systémy - Bokr, Josef (České vysoké učení technické v Praze, 1999)