城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA9.6)
該当件数:6件
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)
電子ブック
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
Amsterdam ; New York : North-Holland Pub. Co.. - New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 101)
図書
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)
Providence, R.I. : American Mathematical Society , c1985. - (Proceedings of symposia in pure mathematics ; v. 42)
Initial segments of degrees below 0' / Richard L. Epstein
Providence, R.I. : American Mathematical Society , 1981. - (Memoirs of the American Mathematical Society ; no. 241)
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)