The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /
41
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Hewlett, N.Y. : Raven,
1965
|
| Subjects: |
| _version_ | 1826426016017416192 |
|---|---|
| author | 429964 Davis, Martin |
| author_facet | 429964 Davis, Martin |
| author_sort | 429964 Davis, Martin |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-05T05:54:41Z |
| format | |
| id | KOHA-OAI-TEST:348374 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-05T05:54:41Z |
| publishDate | 1965 |
| publisher | Hewlett, N.Y. : Raven, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:3483742020-12-19T17:12:02ZThe undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / 429964 Davis, Martin Hewlett, N.Y. : Raven,196541PSZJBLRecursive functionsGodel's theoremURN:ISBN:0911216014 |
| spellingShingle | Recursive functions Godel's theorem 429964 Davis, Martin The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / |
| title | The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / |
| title_full | The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / |
| title_fullStr | The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / |
| title_full_unstemmed | The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / |
| title_short | The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / |
| title_sort | undecidable basic papers on undecidable propositions unsolvable problems and computable functions |
| topic | Recursive functions Godel's theorem |
| work_keys_str_mv | AT 429964davismartin theundecidablebasicpapersonundecidablepropositionsunsolvableproblemsandcomputablefunctions AT 429964davismartin undecidablebasicpapersonundecidablepropositionsunsolvableproblemsandcomputablefunctions |