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