城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Recursive functions)
該当件数:22件
Recursive functions / {Translated by Istv?n FK̄ldes}
3d, rev. ed.. - New York : Academic Press , 1967
図書
Computations in higher types / Johan Moldestad.
574. - Berlin : Springer , 1977. - (Lecture notes in mathematics ; 574)
Formalized recursive functionals and formalized realizability / by S. C. Kleene.
no. 89. - Providence, R.I. : American Mathematical Society , 1969. - (American mathematical society. Memoirs ; no. 89)
Some classes of recursive functions / Andrzej Grzegorczyk.
Warszawa : Panstwowe Wydawn. Naukowe , 1953. - (Rozprawy matematyczne ; 4)
Computable analysis / edited by A. Grzegroczyk and H. Rawiowa.
Warszawa : Panstwowe Wydawn. Naukowe , 1963. - (Rozprawy matematyczne ; 33)
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)
電子ブック
Konstruktive Analysis
11. - Berlin : Deutscher Verlag der Wissenschaften , 1961. - (Mathematische forschungsberichte ; 11)
Degrees of unsolvability / by Gerald E. Sacks
Princeton, N.J. : Princeton University Press , 1963. - (Annals of mathematics studies ; 55)
Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus
Amsterdam : North-Holland , 1964. - (Studies in logic and the foundations of mathematics)
The foundations of intuitionistic mathematics, especially in relation to recursive functions / {by} Stephen Cole Kleene {and} Richard Eugene Vesley.
Amsterdam : North-Holland , 1965. - (Studies in logic and the foundations of mathematics)
Theory of formal systems / by Raymond M. Smullyan
Princeton, N.J. : Princeton University Press , 1961. - (Annals of mathematics studies ; n. 47)
Elementary induction on abstract structures / {by} Yiannis N. Moschovakis.
v. 77. - Amsterdam : North-Holland , 1974. - New York : American Elsevier , 1974. - (Studies in logic and the foundations of mathematics ; v. 77)
Theory of recursive functions and effective computability / Hartley Rogers, Jr.
New York : McGraw-Hill , c1967. - (McGraw-Hill series in higher mathematics)
Minimal degrees of unsolvability and the full approximation construction / Richard L. Epstein
Providence : American Mathematical Society , 1975. - (Memoirs of the American Mathematical Society ; no. 162)
Logic Colloquium '69; proceedings of the Summer School and {fourteenth} Colloquium in Mathematical Logic, Manchester, August 1969 / Edited by R.O. Gandy and C.M.E. Yates.
v. 61. - Amsterdam : North-Holland , 1971. - (Studies in logic and the foundations of mathematics ; v. 61)
An introduction to the general theory of algorithms / Michael Machtey, Paul Young
: pbk. - New York : North-Holland , c1978. - (Theory of computation series)
Recursive methods in economic dynamics / Nancy L. Stokey and Robert E. Lucas, Jr., with Edward C. Prescott.
Cambridge, Mass. : Harvard University Press , 1989
Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
Bd. 109. - Berlin : Springer , 1961. - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd. 109)
Enumerability, decidability, computability; an introduction to the theory of recursive functions / by Hans Hermes. Translated by G.T Herman and O. Plassmann.
Bd.127. - Berlin : Springer , 1965. - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd.127)
Bd. 87. - 2. Aufl.. - Berlin : Springer , 1971. - (Heidelberger Taschenbucher ; Bd. 87)