Computability and logic / George S. Boolos, Richard C. Jeffrey.
Τύπος υλικού: ΚείμενοΛεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press, c1989.Έκδοση: 3rd edΠεριγραφή: x, 304 σ. : εικ. ; 25 εκISBN:- 052138026X
- 0521389232
- 511.3
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 511.3 BOO (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000282189 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Αποθήκη 2.1, Collection: Non-fiction Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | ||||||||
511.3 ADV Advances in Petri nets 1989 / | 511.3 ADV Advances in Petri nets 1990 / | 511.3 BAL Structural complexity / | 511.3 BOO Computability and logic / | 511.3 CAR Introduction to symbolic logic and its applications / | 511.3 DIJ Predicate calculus and program semantics / | 511.3 FIT First-order logic and automated theorem proving / |
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.