Enumerability.Decidability Computability - Hermes,Hans. (New York: Springer-Verlag, 1965)
Keywords: Mathematics,Turning Machines,Historical Remarks