Many - sorted logic and its applications edited by K. Meinke and J. V. Tucker
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Chichester John Wiley & Sons 1993Περιγραφή: xvii, 397 p. fig. 22 cmISBN:- 0471934852
- 511.3
Ελλιπή περιεχόμενα:
Includes index
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 M (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000069337 |
Includes index