Logic and computation : proceedings of a Workshop held at Carnegie Mellon University, June 30-July 2, 1987

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: Workshop on Logic and Computation Carnegie Mellon University
Άλλοι συγγραφείς: Sieg, Wilfried, 1945-
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Δημοσίευση: Providence, Rhode island : American Mathematical Society, c1990
Σειρά:Contemporary mathematics (American Mathematical Society) ; ; 106
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC

LEADER 00000cam a2200000 i 4500
001 1/90647
008 990929s1990 eng d
020 |a 0821851101 
035 |l 10053202 
040 |a GR-MY-UA  |b gre  |e aacr 
041 0 |a eng 
082 0 |a 511.3 
111 2 |a Workshop on Logic and Computation   |d (1987 :   |c Carnegie Mellon University) 
245 1 0 |a Logic and computation :  |b proceedings of a Workshop held at Carnegie Mellon University, June 30-July 2, 1987 /  |c Wilfried Sieg, editor 
260 |a Providence, Rhode island :   |b American Mathematical Society,   |c c1990 
300 |a xiv, 297 p.;  |b ill.;  |c 25 cm. 
490 1 |a Contemporary mathematics  |v ; 106 
500 |a Includes bibliographical references 
650 0 0 |a Computable functions  |x Data processing  |x Congresses. 
700 1 |a Sieg, Wilfried,   |d 1945- 
830 0 |a Contemporary mathematics (American Mathematical Society) ;  |v ; 106 
852 |a INST  |b SAMOS  |e 19990929  |h 511.3 WOR  |p 005300012429  |q 005300012429  |t BK  |y 0 
901 |a BIBL3-1999-3 
909 |a Σ  |b 063344 
922 |a 3ΕΛΗ  |b 199907  |c ΕΠΕΑΕΚ/ΜΑΘ  |d ΠΑΠΑΣΩΤΗΡΙΟΥ 
970 |a ΓΕΝΟΥΖΟΥ  |b ΧΡΥΣΑΝΘΗ  |z 1999/09/29