Recursion-theoretic hierarchies / Peter G. Hinman.
Τύπος υλικού: ΚείμενοΣειρά: Perspectives in mathematical logicΛεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1978.Περιγραφή: xii, 480 σ. : εικ. ; 24 εκISBN:- 0387079041
- 3540079041
- 511.3 23
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 H (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000084306 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.10 | 511.3 HIN (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000282081 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | ||||||||
511.3 FUL Modelling with differential and difference equations / | 511.3 G Logic and discrete mathematics | 511.3 GOL Computational complexity | 511.3 H Recursion-theoretic hierarchies / | 511.3 H The continuum | 511.3 HAL Logic as algebra / | 511.3 HED A first course in logic |
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.