Computability, enumerability, unsolvability : directions in recursion theory

>> Google Books

QRコード(所蔵情報)

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

著者名:

シリーズ名:

London Mathematical Society lecture note series ; 224 <BA0005393X>

書誌ID:

BA26582765

ISBN:

9780521557368 [0521557364]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	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
注記:	Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability Downey, R. G. (Rod G.), Greenberg, Noam, 1974- Princeton University Press	7 図書 Computability in analysis and physics Pour-El, Marian B. (Marian Boykan), 1928-, Richards, Ian, 1936- Springer Verlag
2 図書 Degrees of unsolvability : local and global theory Lerman, M. (Manuel), 1943- Springer-Verlag	8 図書 Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 篠田, 壽一(1948-), Slaman, T. A. (Theodore Allen), 1954-, 柘植, 利之(1926-), Meeting on Mathematical Logic and its Applications Springer-Verlag
3 図書 Complexity, logic, and recursion theory Sorbi, Andrea, 1956- Marcel Dekker	9 電子ブック Mathematical Logic and Applications Juichi Shinoda, Shinoda, Juichi, Slaman, Theodore Allen, Tugué, Toshiyuki, Slaman, Theodore A., Tugue, Tosiyuki Springer Berlin Heidelberg
4 図書 Techniques of admissible recursion theory Chong, Chi-Tat, 1949- Springer-Verlag	10 図書 Computability and logic Boolos, George, Burgess, John P., 1948-, Jeffrey, Richard C. Cambridge University Press
5 図書 General recursion theory : an axiomatic approach Fenstad, Jens Erik Springer-Verlag	11 図書 Computable functions Vereshchagin, Nikolai Konstantinovich, 1958-, Shen, Alexander, 1958-, American Mathematical Society American Mathematical Society
6 図書 Computability : a mathematical sketchbook Bridges, D. S. (Douglas S.), 1945- Springer-Verlag	12 図書 Automata and computability Kozen, Dexter, 1951- Springer