京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Recursion theory)
該当件数:7件
Techniques of admissible recursion theory / C.T. Chong
: gw,: us. - Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in mathematics ; 1106)
図書
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller and G.E. Sacks
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in mathematics ; 1141)
Recursion theory / [edited by Anil Nerode, Richard A. Shore]
Providence, R.I. : American Mathematical Society , c1985. - (Proceedings of symposia in pure mathematics ; v. 42)
Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 / edited by A.S. Kechris, D.A. Martin and Y.N. Moschovakis
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1983. - (Lecture notes in mathematics ; 1019)
Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 / edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in mathematics ; 839)
Recursion on the countable functionals / Dag Normann
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in mathematics ; 811)
Set theory and hierarchy theory V : Bierutowice, Poland, 1976 / edited by A. Lachlan, M. Srebrny, and A. Zarach
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in mathematics ; 619)