| NCID | BA26582765 |
| タイトル | Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer |
| 出版者 | Cambridge : Cambridge University Press , 1996 |
| 形態 | vii, 347 p. : ill. ; 23 cm |
| 注記 | Includes bibliographical references |
| シリーズ名 | London Mathematical Society lecture note series ; 224
|
| 分類 | DC20:511.35
NDC8:410.9 |
| 件名 | LCSH:Recursiontheory
LCSH:Computablefunctions
LCSH:Unsolvability(Mathematicallogic)
|
| 著者情報 | Cooper, S. B. (S. Barry)
Slaman, T. A. (Theodore Allen), 1954-
Wainer, S. S
London Mathematical Society
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | イギリス |
| ISBN | 0521557364
|
| 番号 | NBN : B9596524
LCCN : 95044750 |