京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA9.6)
該当件数:5件
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 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)
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)
Techniques of admissible recursion theory / C.T. Chong
: gw,: us. - Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in mathematics ; 1106)