Εισαγωγή στη μαθηματική λογική - Δρόσος, Κώστας Α. (Πανεπιστήμιο Πατρών, 2006)