Computability and logic /
Κύριος συγγραφέας: | Boolos, George. |
---|---|
Άλλοι συγγραφείς: | Jeffrey, Richard C. |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Στοιχεία έκδοσης: |
Cambridge :
Cambridge University Press,
1989.
|
Έκδοση: | 3rd ed. |
Ταξινομικός αριθμός: |
511.3 BO |
Θέματα: | |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Φυσική περιγραφή: |
x, 304 p. : ill. ; 24 cm. |
---|---|
ISBN: |
0521389232 |