Blank Cover Image
このページのQRコード

Theory of recursive functions and effective computability

種類:
図書
責任表示:
Hartley Rogers, Jr.
出版情報:
New York : McGraw-Hill, c1967
著者名:
Rogers, H. (Hartley), 1926- <DA01162110>  
シリーズ名:
McGraw-Hill series in higher mathematics <BA00702067>
注記:
"A portion of the material ... appeared, in somewhat different order and form, as Theory of recursive functions and effective computability, volume I ... in 1957."--P. ix
Bibliography: p. 459-468
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Computability, an introduction to recursive function theory

Cutland, Nigel

Cambridge University Press
7 図書 Algorithms and recursive functions

Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967, Boron, Leo F., Sanchis, Luis E., Stillwell, John, 井関, 清志(1919-)

Wolters-Noordhoff
2 図書 Computability

Weihrauch, Klaus, 1943-

Springer-Verlag
8 図書 Recursive macroeconomic theory

Ljungqvist, Lars, Sargent, Thomas J.

MIT Press
3 図書 Recursive functions in computer theory

Péter, Rózsa, 1905-

Ellis Horwood, Halsted Press
9 図書 The foundations of intuitionistic mathematics : especially in relation to recursive functions

Kleene, Stephen Cole, 1909-, Vesley, Richard Eugene, 1932-

North-Holland Pub. Co.
4 図書 Computability & unsolvability

Davis, Martin, 1928-

McGraw-Hill
10 図書 Handbook of computability theory

Griffor, Edward R.

Elsevier
5 図書 Computability and logic

Boolos, George, Jeffrey, Richard C.

Cambridge University Press
11 図書 Computability and complexity theory

Homer, S. (Steven), Selman, Alan L.

Springer
6 図書 Recursive functions

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

Academic Press
12 図書 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