Classical recursion theory/
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Amsterdam:
North Holland,
1989
|
Series: | Studies in logic and the foundations of mathematics (North Holland) / J.Barwise, H.J.Keisler, P.Suppes, A.S.Tro/ra ;
125 |
Subjects: |
Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
---|---|---|---|---|
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών | 511.35 OdiP c 1989 | 1 | Προβολή | OPAC |