Enumerability, decidability, computability : an introduction to the theory of recursive functions /

Bibliographic Details
Main Author: Hermes, Hans, 1912-2003
Other Authors: Herman, G. T. (tr.), Plassmann, O. (tr.)
Format: Book
Language:English
German
Published: Berlin : Springer, 1965.
Series:Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer berücksichtigung der anwendungsgebiete; Bd. 127
Subjects: