Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth.
Τύπος υλικού: ΚείμενοΣειρά: Synthese libraryΛεπτομέρειες δημοσίευσης: Dordrecht : D. Reidel, c1962.Περιγραφή: 170 σ. ; 23 εκΘέμα(τα): Ταξινόμηση DDC:- 23 511.3
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 BET (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000039182 |
Περιέχει ευρετήριο.