Στοιχεία θεωρίας υπολογισμού / Αντωνιάδης, Παναγιώτης [Μεταφραστής]