京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Recursive functions)
該当件数:5件
Computations in higher types / Johan Moldestad
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in mathematics ; 574)
図書
Degrees of unsolvability / by Gerald E. Sacks
Princeton, N.J. : Princeton University Press , 1963. - (Annals of mathematics studies ; 55)
Computability & unsolvability / Martin Davis
: pbk. - Dover ed. - New York : Dover , 1982. - (Dover books on advanced mathematics)
Synthesis of digital designs from recursion equations / Steven D. Johnson
Cambridge, Mass. : MIT Press , c1984. - (ACM distinguished dissertations)
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in mathematics ; 537)