Computability and unsolvability

• Main Author: Davis, Martin, 1928-
• Format: Book
• Language: English
• Published: New York Dover Publications 1982
• Subjects: Μαθηματικά > Υπολογιστική; Λογική, Συμβολική και μαθηματική