Στεφανέας, Πέτρος [Συγγραφέας]. Εφαρμογές της λογικής στην πληροφορική