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