>> Google Books
所蔵情報QRコード

Subrecursion : functions and hierarchies / H.E. Rose

資料種別:
図書
出版情報:
Oxford [Oxfordshire] : Clarendon Press
New York : Oxford University Press, 1984
形態:
xiii, 189 p. ; 25 cm
シリーズ名:
Oxford logic guides ; 9 <BA00017765>
著者名:
Rose, H. E. (Harvey E.) <DA02284306>  
ISBN:
9780198531890 [0198531893] (: U.S.)
書誌ID:
BA04952667
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Theory of recursive functions and effective computability (: pbk)

Rogers, H. (Hartley), 1926-

MIT Press
7 図書 Computability & unsolvability

Davis, Martin, 1928-

McGraw-Hill
2 図書 Theory of recursive functions and effective computability

Rogers, H. (Hartley), 1926-

McGraw-Hill
8 図書 Computability theory : an introduction

Jones, Neil D., 1941-

Academic Press
3 図書 Enumerability, decidability, computability : an introduction to the theory of recursive functions

Hermes, Hans

Springer
9 電子ブック Computability and logic / ((ebook))

Boolos, George, Burgess, John P., Jeffrey, Richard C.

Cambridge University Press
4 図書 Recursively enumerable sets and degrees : a study of computable functions and computably generated sets (: U.S. ; : Germany)

Soare, R. I. (Robert Irving), 1940-

Springer-Verlag
10 図書 Recursion-theoretic hierarchies (: gw ; : us)

Hinman, Peter G.

Springer-Verlag
5 図書 The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

Davis, Martin, 1928-

Raven Press
11 図書 Recursive functions

Péter, Rózsa, 1905-, Földes, István

Academic Press
6 図書 Computability (: us ; : gw)

Weihrauch, Klaus, 1943-

Springer-Verlag
12 図書 Computability, an introduction to recursive function theory (: pbk)

Cutland, Nigel

Cambridge University Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12