Logické systémy. 1. díl - Jáneš, Vlastimil (České vysoké učení technické v Praze, 1982)