Logika pro kurs automatizovaných systémů - Bek, Roman (rz1, 1974)