Recursion theory/
Main Author: | |
---|---|
Format: | Book |
Published: |
Berlin:
Springer-Verlag,
c1993
|
Series: | Lecture Notes in Logic /K.Fine, J.-Y.Girard, A. Lachlan, T. Slaman, H. Woodin
; 1 |
Subjects: |
Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
---|---|---|---|---|
Εθνικό Μετσόβιο Πολυτεχνείο | 511.35 | 2 | Προβολή | OPAC |