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

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

Verlag: Academic Press, Inc./Springer Verlag, Berlin/Heidelberg/New York, 1965

Beschreibung

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.

Bestandsnummer des Verkäufers 47787

Bibliografische Details

• Titel: Enumerability, Decidability, Computability: An Introduction to the Theory of Recursive Functions
• Verlag: Academic Press, Inc./Springer Verlag, Berlin/Heidelberg/New York
• Erscheinungsjahr: 1965
• Einband: Hardcover
• Zustand: Very Good-