Նորմալ դիտում MARC դիտում ISBD Դիտում

Hermes, Hans.

Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einfuhrung in die Theorie der rekursiven Funktionen / Hans Hermes. - 2. Aufl. - Berlin ; New York : Springer-Verlag, 1971. - x, 246 p. ; 21 cm. - Heidelberger Taschenbucher Bd. 87 .

Includes bibliographies.

ISBN: 3540053344 0387053344

Subjects--Topical Terms:
Recursive functions.
Algorithms.
Godel's theorem.
Computable functions.