Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: QA248.5)
Results:4items
Recursive function theory / [Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society]
Providence : American Mathematical Society , 1962. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 5)
E-Book
Degrees of unsolvability / by Gerald E. Sacks
Princeton, N.J. : Princeton University Press , 1963. - (Annals of mathematics studies ; 55)
Books
Theory of formal systems / by Raymond M. Smullyan
Princeton, N.J. : Princeton University Press , 1961. - (Annals of mathematics studies ; n. 47)
Theory of recursive functions and effective computability / Hartley Rogers, Jr.
New York : McGraw-Hill , c1967. - (McGraw-Hill series in higher mathematics)