Computability, enumerability, unsolvability : directions in recursion theory

このページのQRコード

種類:

図書

責任表示:

edited by S.B. Cooper, T.A. Slaman, S.S. Wainer

出版情報:

Cambridge : Cambridge University Press, 1996

著者名:

シリーズ名:

ISBN:

9780521557368 [0521557364]

注記:

Includes bibliographical references

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computable functions; Recursion theory; Unsolvability (Mathematical logic)
分類・件名:	DDC : 511.35 NDC8 : 410.9 LCSH : Recursion theory LCSH : Computable functions LCSH : Unsolvability (Mathematical logic)
LCCN:	95044750
TTLL:	eng
言語:	英語
形態:	vii, 347 p. : ill. ; 23 cm
書誌ID:	BA26582765

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computability & unsolvability Davis, Martin, 1928- McGraw-Hill	7 図書 Recursion theory Shoenfield, Joseph R. (Joseph Robert), 1927- Springer-Verlag
2 図書 Computability, an introduction to recursive function theory Cutland, Nigel Cambridge University Press	8 図書 Techniques of admissible recursion theory Chong, Chi-Tat, 1949- Springer-Verlag
3 図書 Recursion on the countable functionals Normann, Dag, 1947- Springer-Verlag	9 図書 Complexity, logic, and recursion theory Sorbi, Andrea, 1956- Marcel Dekker
4 図書 Computability : a mathematical sketchbook Bridges, D. S. (Douglas S.), 1945- Springer-Verlag	10 図書 Recursion theory for metamathematics Smullyan, Raymond M., 1919- Oxford University Press
5 図書 Degrees of unsolvability : structure and theory Epstein, Richard L., 1947- Springer-Verlag	11 図書 Handbook of computability theory Griffor, Edward R. Elsevier
6 図書 Computability and complexity theory Homer, S. (Steven), Selman, Alan L. Springer	12 図書 Theory of recursive functions and effective computability Rogers, H. (Hartley), 1926- McGraw-Hill