Logika a logické systémy - Štěpán, Jan (Studijní texty, 1992)