Computability and logic /

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