Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.

Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: Logic Colloquium Aachen
Άλλοι συγγραφείς: Müller, G. H. (Gert Heinz), 1923-2006 (Επιμελητής έκδοσης), Richter, Michael M., 1938- (Επιμελητής έκδοσης)
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Δημοσίευση: Berlin ; New York : Springer-Verlag, 1984.
Σειρά:Lecture notes in mathematics (Springer-Verlag) 1103 ; 1104
Θέματα:
Logic, Symbolic and mathematical > Congresses.
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC

LEADER 00000cam a2200000 i 4500
001 1/62283
008 941103s1984 gw | | |||| ||eng||
020 |a 3540139001 
020 |a 354013901X 
035 |a 1993  |l 10046583 
040 |a GR-MyUa  |b gre  |e AACR2 
041 0 |a eng 
082 0 |a 511.3   |2 (22) 
111 2 |a Logic Colloquium   |d (1983 :   |c Aachen) 
245 1 0 |a Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983. 
260 |a Berlin ;   |a New York :   |b Springer-Verlag,   |c 1984. 
300 |a 2 τ. :   |b εικ.   |c 25 εκ. 
490 1 |a (Lecture notes in mathematics /Springer-Verlag ;   |v 1103 ;   |v 1104) 
500 |a Περιλαμβάνει βιβλιογραφίες. 
505 8 |a Τ. 1. Models and sets / edited by G.H. Muller and M.M. Richter -- τ. 2. Computation and proof theory / edited by M.M. Richter...[et al.]. 
650 0 |a Logic, Symbolic and mathematical  |x Congresses. 
700 1 |a Müller, G. H.   |q (Gert Heinz),   |d 1923-2006,  |e edt 
700 1 |a Richter, Michael M.,   |d 1938-  |e edt 
830 0 |a Lecture notes in mathematics (Springer-Verlag)  |v 1103 ;   |v 1104 
852 |a INST  |b SAMOS  |e 19941103  |h 511.3 LOG  |p 005300006942  |q 005300006942  |t BK  |y 0  |z v.2 
852 |a INST  |b SAMOS  |e 19941103  |h 511.3 LOG  |p 005300007000  |q 005300007000  |t BK  |y 0  |z v.1 
852 |a INST  |b SAMOS  |e 19941103  |h 511.3 LOG  |p 005300006942  |q 005300006942  |t BK  |v v.2:  |y 0  |z v.2 
852 |a INST  |b SAMOS  |e 19941103  |h 511.3 LOG  |p 005300007000  |q 005300007000  |t BK  |v v.1:  |y 0  |z v.1 
853 |a INST  |b SAMOS  |h 511.3 LOG 

Παρόμοια τεκμήρια