Μαθηματική λογική για υπολογιστές - Κολέτσος, Γεώργιος (Εθνικό Μετσόβιο Πολυτεχνείο, 1988)