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:

Θέμα(τα):

Ταξινόμηση DDC:

Περιεχόμενα:

τ. 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

-- τ. 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.].

Κοινοποίηση