Enumerability, Decidability, Computability: An Introduction to the Theory of Recursive Functions

Hans Hermes, Professor of Mathematical Logic and Foundations of Mathematics, University of Munster

Edité par Academic Press, Inc./Springer Verlag, Berlin/Heidelberg/New York, 1965

A propos de cet article

English translation of the German book of the same date: Die Grundlehren Der Mathematischen Wissenschaften in Enzeldarstellungen Mit Besonderer Beruchsichtigung Der Anwendungsgebiete, concerning algorithms/recursive functions. Yellow boards w/black titling, lightly worn, large ink mark on back board. Binding tight; Text clean. Name of former owner inside front board. Professional book seller with storefront since 1975. All orders carefully packaged and promptly shipped.

N° de réf. du vendeur 47787

Détails bibliographiques

• Titre: Enumerability, Decidability, Computability: An Introduction to the Theory of Recursive Functions
• Éditeur: Academic Press, Inc./Springer Verlag, Berlin/Heidelberg/New York
• Date de parution: 1965
• Reliure: Hardcover
• État de l'article: Very Good-