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