Title: Mathematik mit Kalkülen und Maschinen
Subjects: Machine theory, Recursion theory