Logické systémy - Jáneš, Vlastimil (České vysoké učení technické v Praze, 2001)