FEEDBACK Smiley face
Hermes, Hans.

Enumerability, decidability, computability : an introduction to the theory of recursive functions. Translated by G. T. Hermann and O. Plassmann. - 2d rev. ed. - New York, Springer, ©1969. - x, 245 p. 24 cm. - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127 .

Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.

Includes bibliographies.

9783642461804

76089552

GDB***


Recursive functions.
Algorithms.
Gödel's theorem.
Computable functions.

QA248.5 / .H413 1969

510.01 / HER-E

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in