Logické systémy. - Perrin, Jean-Paul (SNTL - Nakladatelství technické literatury, 1972)