Μια μαθηματική εισαγωγή στη λογική / Herbert B. Enderton ; μετάφραση Ιωάννης Παπαδόγγονας ; επιστημονική εποπτεία Ελευθέριος Κυρούσης, Αθανάσιος Φειδάς.
Τύπος υλικού: ΚείμενοΓλώσσα: Σειρά: Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών (Πανεπιστημιακές Εκδόσεις Κρήτης)Λεπτομέρειες δημοσίευσης: Ηράκλειο : Πανεπιστημιακές Εκδόσεις Κρήτης, 2013.Περιγραφή: xiv, 379 σ. ; 24 εκISBN:- 9789605243999
- A mathematical introduction to logic Ελληνικά.
- 511.3 23
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 END (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000092294 | |
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 END (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000076262 | |
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 END (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 3 | Δανεισμένο | 16/09/2024 | 025000235692 |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 1.6 | 511.3 END (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 4 | Διαθέσιμο | 025000058912 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 1.6 | 511.3 END (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 5 | Διαθέσιμο | 025000235213 | |
Book [21] | ΒΚΠ - Πατρα Αποθήκη 1.6 | 511.3 END (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 6 | Διαθέσιμο | 025000235276 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
511.3 END Μια μαθηματική εισαγωγή στη λογική / | 511.3 END A mathematical introduction to logic / | 511.3 END Μια μαθηματική εισαγωγή στη λογική / | 511.3 END Μια μαθηματική εισαγωγή στη λογική / | 511.3 ENS Discrete mathematics | 511.3 F First-order logic and automated theorem proving / | 511.3 FIT First-order modal logic |
Περιλαμβάνει ευρετήριο.