Logické systémy - Eysselt, Miloš (Učební texty vysokých škol, 1982)