Logické systémy. - Perrin, Jean-Paul; Denouette, Michel; Daclin, Eric (SNTL - Státní nakladatelství technické literatury, 1972)