Computability and logic /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Boolos, George S. (συγγραφέας)
Άλλοι συγγραφείς: Jeffrey, Richard C. (συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge : Cambridge University Press, c1989.
Έκδοση:3rd ed.
Θέματα:
LEADER 01315nam a22002773u 4500
001 10101442
003 upatras
005 20210903122335.0
008 991022s1989 enka eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_300000000000000_BOO  |7 0  |8 NFIC  |9 125278  |a LISP  |b LISP  |c ALFe  |d 2016-04-24  |l 0  |o 511.3 BOO  |p 025000282189  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 82167  |d 82167 
020 |a 052138026X 
020 |a 0521389232  |q χαρτόδετο 
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
082 |a 511.3 
100 1 |9 37756  |a Boolos, George S.  |e συγγραφέας 
245 1 0 |a Computability and logic /  |c George S. Boolos, Richard C. Jeffrey. 
250 |a 3rd ed. 
260 |a Cambridge :  |b Cambridge University Press,  |c c1989. 
300 |a x, 304 σ. :  |b εικ. ;  |c 25 εκ. 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
650 4 |a Υπολογίσιμες συναρτήσεις  |9 187233 
700 1 |a Jeffrey, Richard C.  |9 114954  |e συγγραφέας 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 511.3 BOO  |t 1 
942 |2 ddc  |c BK