Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 / edited by M.M. Richter...[et.al.].
Τύπος υλικού: ΚείμενοΣειρά: Lecture notes in mathematics (Springer-Verlag) ; 1103-1104.Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1984.Περιγραφή: 2 τ. : εικ. ; 25 εκISBN:- 038713901X
- 354013901X
- 511.3 23
Περιεχόμενα:
τ. 1. Models and sets / edited by G.H. Müller and M.M. Richter -- τ. 2. Computation and proof theory / edited by M.M. Richter...[et.al.].
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [Not For Loan] | ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο | Π/Σ 511.3 PRO (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Δε δανείζεται | 025000044008 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Πληροφοριακό Αναγνωστήριο Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
-- τ. 2. - viii, 475 σ.
Περιλαμβάνει βιβλιογραφικές παραπομπές.
τ. 1. Models and sets / edited by G.H. Müller and M.M. Richter -- τ. 2. Computation and proof theory / edited by M.M. Richter...[et.al.].