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

• Κύριος συγγραφέας: Hermes, Hans (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin ; New York : Springer, 1969.
• Έκδοση: 2d rev. ed.
• Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete 127.
• Θέματα: Λογική, Συμβολική και μαθηματική