城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Recursion theory)
該当件数:22件
Initial segments of degrees below 0' / Richard L. Epstein
Providence, R.I. : American Mathematical Society , 1981. - (Memoirs of the American Mathematical Society ; no. 241)
図書
Techniques of admissible recursion theory / C.T. Chong.
1106. - Berlin : Springer , 1984. - (Lecture notes in mathematics ; 1106)
Fundamentals of generalized recursion theory / Melvin Fitting
Amsterdam ; New York : North-Holland Pub. Co.. - New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , c1981. - (Studies in logic and the foundations of mathematics ; v. 105)
Recursive analysis
Amsterdam : North-Holland , 1961. - (Studies in logic and the foundations of mathematics)
Recursion theory / [edited by Anil Nerode, Richard A. Shore]
Providence, R.I : American Mathematical Society , 1985. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 42)
電子ブック
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer.
45. - Cambridge, England : Cambridge University Press , 1980. - (London Mathematical Society lecture note series ; 45)
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks.
1141. - Berlin : Springer , c1985.. - (Lecture notes in mathematics ; 1141)
Computability, an introduction to recursive function theory / Nigel Cutland.
Cambridge, England : Cambridge University Press , 1980
Recursion-theoretic hierarchies / Peter G. Hinman.
Berlin : Springer , 1978. - (Perspectives in mathematical logic)
Generalized recursion theory II : proceedings of the 1977 Oslo symposium / edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks.
v. 94. - Amsterdam : North-Holland , 1978. - New York : Elsevier North-Holland , 1978. - (Studies in logic and the foundations of mathematics ; v. 94)
Generalized recursion theory. Proceedings of the 1972 Oslo symposium / Ed. by J. E. Fenstad and P. G. Hinman.
v. 79. - Amsterdam : North-Holland , 1974. - New York : American Elsevier , 1974. - (Studies in logic and the foundations of mathematics ; v. 79)
Complexity, logic, and recursion theory / edited by Andrea Sorbi.
New York : Marcel Dekker , c1997. - (Lecture notes in pure and applied mathematics)
Potential wadge classes / Dominique Lecomte
Providence, R.I. : American Mathematical Society , c2012. - (Memoirs of the American Mathematical Society ; no. 1038)
Recursion on the countable functionals / Dag Normann.
811. - Berlin : Springer , 1980. - (Lecture notes in mathematics ; 811)
Regressive sets and the theory of isols / Thomas G. McLaughlin.
New York : Dekker , c1982.. - (Lecture notes in pure and applied mathematics)
The role of true finiteness in the admissible recursively enumerable degrees / Noam Greenberg
Providence, R.I. : American Mathematical Society , 2006. - (Memoirs of the American Mathematical Society ; no. 854)
Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 / edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis.
839. - Berlin : Springer , 1981. - (Lecture notes in mathematics ; 839)
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.
1019. - Berlin : Springer , 1983. - (Lecture notes in mathematics ; 1019)
Subrecursion : functions and hierarchies / H.E. Rose
: U.S.. - Oxford [Oxfordshire] : Clarendon Press. - New York : Oxford University Press , 1984. - (Oxford logic guides ; 9)