Enumerability, decidability, computability : an introduction to the theory of recursive functions /

• Main Author: Hermes, Hans (συγγραφέας.)
• Format: Book
• Language: English
• Published: Berlin ; New York : Springer, 1969.
• Edition: 2d rev. ed.
• Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete 127.
• Subjects: Λογική, Συμβολική και μαθηματική