Computability and unsolvability

• Κύριος συγγραφέας: Davis, Martin, 1928-
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Dover Publications 1982
• Θέματα: Μαθηματικά > Υπολογιστική; Λογική, Συμβολική και μαθηματική