Recursion-theoretic hierarchies /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Hinman, Peter G. (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin ; New York : Springer-Verlag, 1978.
Σειρά:Perspectives in mathematical logic
Θέματα:
LEADER 01356nam a2200277 u 4500
001 10034915
003 GR-PaULI
005 20211005132957.0
008 000519s1978 ge eng
952 |0 0  |1 0  |4 0  |6 511_300000000000000_H  |7 0  |9 5196  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 061809  |l 0  |o 511.3 H  |p 025000084306  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_300000000000000_HIN  |7 0  |9 125342  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |i 894  |l 0  |o 511.3 HIN  |p 025000282081  |r 2016-04-24 00:00:00  |t 2  |v 2016.00  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 2528  |d 2528 
020 |a 0387079041 
020 |a 3540079041 
040 |a GR-PaULI  |c GR-PaULI  |b gre  |e AACR2 
082 0 4 |a 511.3  |2 23 
100 1 |a Hinman, Peter G.  |9 5255  |e συγγραφέας. 
245 1 0 |a Recursion-theoretic hierarchies /  |c Peter G. Hinman. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c 1978. 
300 |a xii, 480 σ. :  |b εικ. ;  |c 24 εκ. 
490 1 |a Perspectives in mathematical logic 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.  
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
830 0 |9 187372  |a Perspectives in mathematical logic 
942 |2 ddc  |c BK15 
998 |c ΠΑΝΑΓΟΠΟΥΛΟΥ  |d 2000-05