Language, proof, and logic Jon Barwise & John Etchemendy in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Stanford, Calif. CSLI Publications 2003Περιγραφή: xi, 587 p. ill. 24 cm 1 cd-rom; 1 LPL software manualISBN:- 157586374X
- 160
Ελλιπή περιεχόμενα:
Includes glossary and index
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 160 BAR (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000182393 | |
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 160 BAR (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000182395 | |
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 160 BAR (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 3 | Διαθέσιμο | 025000182394 |
Includes glossary and index