| NCID | BA00610854 |
| タイトル | Theory of recursive functions and effective computability / Hartley Rogers, Jr |
| 出版者 | Cambridge, Mass. : MIT Press , 1987 |
| 形態 | xxi, 482 p. : ill. ; 23 cm |
| 注記 | Original ed. published by McGraw-Hill, 1967
Bibliography: p. 459-468
Includes indexes |
| 分類 | LCC:QA9.615
DC19:511.3
NDLC:MA131 |
| 件名 | LCSH:Recursivefunctions
LCSH:Computablefunctions
|
| 著者情報 | Rogers, H. (Hartley), 1926-
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | アメリカ合衆国 |
| ISBN | 0262680521(: pbk)
|
| 番号 | LCCN : 86033764 |