Logické systémy - Eysselt, Miloš (Státní nakladatelství technické literatury, 1985)