Computability, an introduction to recursive function theory | 三重大学附属図書館 OPAC

>> Google Books

タイトル、所在を表示します

Computability, an introduction to recursive function theory

フォーマット:: 図書
責任表示:: Nigel Cutland
言語:: 英語
出版情報:: Cambridge [Eng.] ; New York : Cambridge University Press, 1980
形態:: x, 251 p. ; 24 cm
著者名:: Cutland, Nigel <DA00914582>
書誌ID:: BA00451193
ISBN:: 9780521223843 [0521223849]
9780521294652 [0521294657] (: pbk)

子書誌情報

所蔵情報

Loading availability information

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

詳細

資料形態(詳細):	Text
主題:	Computable functions; Recursion theory
LCCN:	79051823
注記:	Bibliography: p. [239]-240 Includes index
登録日:	1997-01-22
分類・件名:	LCC : QA9.59 DDC : 519.4 DC22 : 511.8 LCSH : Computable functions LCSH : Recursion theory

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computability theory Weber, Rebecca, 1977- American Mathematical Society	7 図書 Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus Goodstein, R. L. (Reuben Louis) North-Holland Pub. Co.
2 図書 Theory of recursive functions and effective computability Rogers, H. (Hartley), 1926- McGraw-Hill	8 図書 Computability : computable functions, logic, and the foundations of mathematics Epstein, Richard L., 1947-, Carnielli, Walter A. (Walter Alexandre) Wadsworth & Brooks/Cole Advanced Books & Software
3 図書 Theory of recursive functions and effective computability Rogers, H. (Hartley), 1926- MIT Press	9 図書 Computability and complexity theory Homer, S. (Steven), Selman, Alan L. Springer
4 図書 Computability, enumerability, unsolvability : directions in recursion theory Cooper, S. B. (S. Barry), Slaman, T. A. (Theodore Allen), 1954-, Wainer, S. S, London Mathematical Society Cambridge University Press	10 図書 Recursion on the countable functionals Normann, Dag, 1947- Springer-Verlag
5 図書 Recursively enumerable sets and degrees : a study of computable functions and computably generated sets Soare, R. I. (Robert Irving), 1940- Springer-Verlag	11 図書 The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions Davis, Martin, 1928- Raven Press
6 図書 Enumerability, decidability, computability : an introduction to the theory of recursive functions Hermes, Hans, Herman, Gabor T., Plassmann, O. Springer	12 図書 The theory of computability : programs, machines, effectiveness and feasibility Sommerhalder, R., Van Westrhenen, S. C Addison-Wesley Pub. Co.