Logické systémy. - Perrin, Jean-Paul (Teoretická knižnice inženýra, 1972)