Εισαγωγή στη μαθηματική λογική - Δρόσος, Κώστας Α.; Παπαδοπετράκης, Ευτύχης (Πανεπιστημίο Πατρών, 2000)