Εξώφυλλο από Amazon.com
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich.
Τύπος υλικού:
ΚείμενοΣειρά: Perspectives in mathematical logicΛεπτομέρειες δημοσίευσης: New York : Springer, 1997.Περιγραφή: xii, 492 σ. ; 24 εκISBN: - 354057073X (σκληρό εξώφυλλο)
- 511.3 23
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|---|
![Book [21]](https://library.upatras.gr/nereus/nereus-book-yes.png "Book [21]")
Book [21]
|
ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 BOR (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000284121 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
|
|
|
|
|
|
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | ||
| 511.3 BOO Computability and logic | 511.3 BOO An investigation of the laws of thought | 511.3 BOR Λογική και απόδειξη : | 511.3 BOR The classical decision problem / | 511.3 BUR Logic for mathematics and computer science | 511.3 C Unconventional models of computation | 511.3 C Logical foundations of probability |
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
