|
The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
edited by Martin Davis
|
書名 |
The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions |
著作者等 |
Davis, Martin
Martin Davis
|
出版元 |
Dover Publication |
刊行年月 |
2004 |
ページ数 |
413 p. |
大きさ |
24 cm |
ISBN |
9780486432281
|
NCID |
BA67270275
※クリックでCiNii Booksを表示
|
言語 |
英語 |
出版国 |
アメリカ合衆国 |
この本を:
|
件が連想されています
|