東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Recursive functions)
該当件数:14件
Super-recursive algorithms / Mark Burgin
New York : Springer , c2005. - (Monographs in computer science)
図書
Theory of formal systems / by Raymond M. Smullyan
Princeton Univ. Pr. on demand ed. - Princeton, N.J. : Princeton Univ. Pr. , 1985, c1961. - (Annals of mathematics studies ; no. 47)
The foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene, Richard Eugene Vesley
Amsterdam : North-Holland Pub. Co. , 1965. - (Studies in logic and the foundations of mathematics)
Recursive methods in economic dynamics / Nancy L. Stokey and Robert E. Lucas, Jr. ; with Edward C. Prescott
Cambridge, Mass. : Harvard Univ. Pr. , c1989
Degrees of unsolvability / by Gerald E. Sacks
2nd ed. - Princeton, N.J. : Princeton University Press , 1966. - (Annals of mathematics studies ; no. 55)
Computability and logic / George Boolos, Richard Jeffrey
2nd ed. - Cambridge [Eng.] : Cambridge Univ. Pr. , 1980. - New York
Recursive macroeconomic theory / Lars Ljungqvist, Thomas J. Sargent
: hardcover. - 4th ed. - Cambridge, Mass. : MIT Press , c2018
Computability and logic / George S. Boolos, Richard C. Jeffrey
3rd ed. - Cambridge, [Cambridgeshire] : Cambridge University Press , 1989. - New York
Computability & unsolvability / Martin Davis
: pbk. - Dover ed. - New York : Dover , 1982. - (Dover books on advanced mathematics)
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey
5th ed. - Cambridge : Cambridge Univ. Pr. , 2007. - New York
Subrecursion : functions and hierarchies / H. E. Rose
Oxford [Oxfordshire] : Clarendon Pr. , 1984. - New York : Oxford Univ. Pr.. - (Oxford logic guides ; 9)
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
2nd rev. ed. - Berlin : Springer , 1969. - New York. - (Die Grundlehren der mathematischen Wissenschaften ; Bd. 127)
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis
Hewlett, N.Y. : Raven Press , c1965
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 / edited by W. Marek, M. Srebrny, and A. Zarach
Berlin : Springer-Verlag , 1976. - New York. - (Lecture notes in mathematics ; 537)