| 出版情報 |
Mineola, N.Y. : Dover Publication , 2004 |
| 大きさ |
413 p. : ill. ; 24 cm |
| 一般注記 |
Originally published: Hewlett, N.Y. : Raven Press, 1965
Includes bibliographical references and index |
| 著者標目 |
Davis, Martin, 1928-
|
| 件 名 |
LCSH:Gödel's theorem
LCSH:Unsolvability (Mathematical logic)
LCSH:Recursive functions
LCSH:Turing machines
LCSH:Computable functions
|
| 分 類 |
LCC:QA9.65
DC22:511.3
|
| 本文言語 |
英語 |
| 書誌ID |
TB00112085 |
| ISBN |
9780486432281 |
| NCID |
BA67270275
|
| 巻冊次 |
: pbk. ; ISBN:9780486432281 ; XISBN:0486432289
|
