Logické systémy. 2. část - Eysselt, Miloš (Učební texty vysokých škol, 1990)