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]](https://library.upatras.gr/nereus/nereus-book-yes.png "Book [21]")
Book [21]
|
ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 BET (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000039182 |
Περιέχει ευρετήριο.
