Τεχνολογία λογικού : (σημειώσεις) - Σκορδαλάκης, Εμμανουήλ (Εθνικό Μετσόβιο Πολυτεχνείο, 1986)