Computability and logic

• Κύριος συγγραφέας: Boolos, George S.
• Άλλοι συγγραφείς: Jeffrey, Richard, Burgess, John P., 1948-
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge Cambridge University Press 2002
• Έκδοση: 4th ed.
• Θέματα: Μαθηματικά; Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: xi, 356 p. fig. 26 cm.
• Βιβλιογραφία: Includes bibliographical references and index
• ISBN: 0521809754