Methods in mathematical logic : proceedings of the 6th Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6 August, 1983 / edited by A.C. Di Prisco.
Τύπος υλικού:![Κείμενο](/opac-tmpl/lib/famfamfam/BK.png)
- 3540152369
- 511.3 23
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο | Π/Σ 511.3 ΜΕΤ (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Δε δανείζεται | 025000043997 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Πληροφοριακό Αναγνωστήριο Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη |
![]() |
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη |
![]() |
![]() |
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη |
![]() |
||
Π/Σ 511.3 ΒOC Ancient formal logic / | Π/Σ 511.3 ΕΧΝ An accompaniment to higher mathematics / | Π/Σ 511.3 ΚΕΙ Model theory for infinitary logic : | Π/Σ 511.3 ΜΕΤ Methods in mathematical logic : | Π/Σ 511.32 BAU Cyclic difference sets / | Π/Σ 511.322 BER Axiomatic set theory / | Π/Σ 511.322 CAM Sets, logic and categories / |
Περιλαμβάνει βιβλιογραφία.