TY - BOOK AU - Hermes,Hans. TI - Enumerability.Decidability Computability U1 - 164 HER PY - 1965/// CY - New York PB - Springer-Verlag KW - Mathematics,Turning Machines,Historical Remarks ER -