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