A first course in logic an introduction to model theory, proof theory, computability and complexity Shawn Hedman
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Σειρά: Oxford texts in logic ; 1Λεπτομέρειες δημοσίευσης: New York Oxford University Press 2004Περιγραφή: xx, 431 p. 25 cmISBN:- 9780198529811
- 511.3
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 HED (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000167174 |
Includes bibliography and index