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

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

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

Riguardo questo articolo

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.

Codice articolo 47787

Dati bibliografici

• Titolo: Enumerability, Decidability, Computability: An Introduction to the Theory of Recursive Functions
• Editore: Academic Press, Inc./Springer Verlag, Berlin/Heidelberg/New York
• Data di pubblicazione: 1965
• Rilegatura: Hardcover
• Condizione: Very Good-