Computability and logic /

• Κύριος συγγραφέας: Boolos, George S. (συγγραφέας)
• Άλλοι συγγραφείς: Jeffrey, Richard C. (συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge : Cambridge University Press, c1989.
• Έκδοση: 3rd ed.
• Θέματα: Λογική, Συμβολική και μαθηματική; Υπολογίσιμες συναρτήσεις
• Φυσική περιγραφή: x, 304 σ. : εικ. ; 25 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 052138026X; 0521389232