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.
Θέματα:

Παρόμοια τεκμήρια