Mathematical logic and computability

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Keisler, H. Jerome
Άλλοι συγγραφείς: Robbin, Joel W.
Μορφή: Βιβλίο
Γλώσσα:English
Δημοσίευση: New York : McGraw-Hill, c1996.
Σειρά:International series in pure and applied mathematics
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC

LEADER 00000cam a2200000 i 4500
001 1/1294
008 000417s1996 nyu| ||| |||| ||eng||
020 |a 0071144269 
035 |l 10059967 
040 |a GR-MyUa  |b gre  |e AACR2 
041 0 |a eng 
082 7 |a 511.3   |2 (22) 
100 1 |a Keisler, H. Jerome. 
245 1 0 |a Mathematical logic and computability /   |c H.Jerome Keisler, Joel Robbin. 
260 |a New York :   |b McGraw-Hill,   |c c1996. 
300 |a vii, 484 σ. ;   |c 24 εκ. +   |e 1 δισκέτα Η/Υ (3 1/2 ίν.) 
490 1 |a (International series in pure and applied mathematics) 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. 
650 0 0 |a Computable functions. 
650 0 0 |a Logic, Symbolic and mathematical. 
650 0 0 |a Formal languages. 
700 1 |a Robbin, Joel W. 
830 0 |a International series in pure and applied mathematics 
852 |a INST  |b SAMOS  |e 20000417  |h 511.3 KEI  |p 005300017575  |q 005300017575  |t BK  |y 0 
852 |a INST  |b SAMOS  |e 20000517  |h 511.3 KEI   |p 005300017389  |q 005300017389  |t BK  |y 0 
901 |a BIBL3-2000-2 
922 |a 3ΕΛΗ  |b 200003  |c ΚΠΣ  |d ΠΑΠΑΣΩΤΗΡΙΟΥ 
950 |a 116-1999-12-28 
970 |a ΓΕΝΟΥΖΟΥ  |b ΧΡΥΣΑΝΘΗ  |z 2000/05/17