|
Classical Recursion Theory, Volume II(Studies in Logic and the Foundations of Mathematics Vol.143) H 966 p. 99
Odifreddi, P.
著
発行年月 |
1999年09月 |
|---|
|
出版国 |
オランダ |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
hardcover |
|---|
|
ページ数／巻数 |
966 p. |
|---|
|
|
ジャンル |
洋書／理工学／数学／数学：概論 |
|---|
|
|
ISBN |
9780444502056 |
|---|
|
商品コード |
0209961674 |
|---|
|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209961674 |
|---|
内容
Describes the universe from a local (bottom-up or synthetical) point ofview, and covers the whole spectrum, from the recursive to the arithmeticalsets. This book presents a detailed picture of the computable sets from theperspective of theoretical computer science. It is suitable for thoseinterested in complexity and computability theory.
