General recursion theory : an axiomatic approach /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin ; New York :
Springer-Verlag,
1980.
|
| Σειρά: | Perspectives in mathematical logic
|
| Θέματα: |
| Περιγραφή τεκμηρίου: | |
|---|---|
| Φυσική περιγραφή: | xi, 225 σ. ; 25 εκ. |
| Βιβλιογραφία: | Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. |
| ISBN: | 0387093494 |
