Μαθηματική λογική : θεωρία και πράξη - Τουρλάκης, Γιώργος. (Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών. Επιστήμη υπολογιστών, 2011)