Εφαρμογές της λογικής στην πληροφορική - Στεφανέας, Πέτρος; Κολέτσος, Γεώργιος; Stefaneas, Petros; Koletsos, Georgios (2016)