"Για τους υπολογίσιμους αριθμούς με εφαρμογή στο Entscheidungsproblem" - читать интересную книгу автора (Turing Alan M. Μανώλης Κωνσταντινίδης...)