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.
Θέματα:
Περιγραφή
Περιγραφή τεκμηρίου:Μετάφραση του : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
Φυσική περιγραφή:x, 245 σ. ; 24 εκ.
Βιβλιογραφία: