close
1.

図書
図書
1. Theory of formal systems. Rev. ed
by Raymond M. Smullyan
出版情報: Princeton, N.J. : Princeton University Press, [preface, 1962]
シリーズ名: Annals of mathematics studies ; no. 47
所蔵情報: loading…
2.

図書
図書
2. Komplexitätstheorie. 1. Aufl
von Wolfgang J. Paul
出版情報: Stuttgart : Teubner, 1978
シリーズ名: Teubner Studienbucher. Informatik
Leitfäden der angewandten Mathematik und Mechanik ; Bd. 39
所蔵情報: loading…
3.

図書
図書
3. Recursive macroeconomic theory
Lars Ljungqvist, Thomas J. Sargent
出版情報: Cambridge, Mass. : MIT Press, c2000
所蔵情報: loading…
4.

図書
図書
4. Theory of computation
by Walter S. Brainerd , Lawrence H. Landweber
出版情報: New York : Wiley, c1974
シリーズ名: A Wiley-Interscience publication
所蔵情報: loading…
5.

図書
図書
5. Introduction to the theory of computation
Erwin Engeler
出版情報: New York : Academic Press, c1973
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
6.

図書
図書
6. Computability theory : an introduction
Neil D. Jones
出版情報: New York : Academic Press, 1973
シリーズ名: ACM monograph series
所蔵情報: loading…
7.

図書
図書
7. Computability and logic
[by] George Boolos [and] Richard Jeffrey
出版情報: Cambridge : Cambridge University Press, c1974
所蔵情報: loading…
8.

図書
図書
8. Computability & unsolvability
Martin Davis
出版情報: New York ; Toronto ; London : McGraw-Hill, 1958
シリーズ名: McGraw-Hill series in information processing and computers
所蔵情報: loading…
9.

図書
図書
9. Degrees of unsolvability. 2nd ed
by Gerald E. Sacks
出版情報: Princeton, N.J. : Princeton University Press, 1966
シリーズ名: Annals of mathematics studies ; no. 55
所蔵情報: loading…
10.

図書
図書
10. Recursive function theory and logic
Ann Yasuhara
出版情報: New York : Academic Press, c1971
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…