General recursion theory : an axiomatic approach /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Fenstad, Jens Erik (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin ; New York : Springer-Verlag, 1980.
Σειρά:Perspectives in mathematical logic
Θέματα:
Περιγραφή
Περιγραφή τεκμηρίου:
Φυσική περιγραφή:xi, 225 σ. ; 25 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
ISBN:0387093494