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: Λογική, Συμβολική και μαθηματική
• Item Description: Μετάφραση του : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
• Physical Description: x, 245 σ. ; 24 εκ.