Εφαρμογές της λογικής στην πληροφορική - Στεφανέας, Πέτρος. (Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 2015)