Hermes,Hans.

Enumerability.Decidability Computability Textual Documents - 1965. - New York: Springer-Verlag, 1965. - ix; 245p.: 04773.


Mathematics,Turning Machines,Historical Remarks.

164 HER