城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA248.5)
該当件数:4件
Recursive function theory / [Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society]
Providence : American Mathematical Society , 1962. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 5)
電子ブック
Degrees of unsolvability / by Gerald E. Sacks
Princeton, N.J. : Princeton University Press , 1963. - (Annals of mathematics studies ; 55)
図書
Theory of formal systems / by Raymond M. Smullyan
Princeton, N.J. : Princeton University Press , 1961. - (Annals of mathematics studies ; n. 47)
Theory of recursive functions and effective computability / Hartley Rogers, Jr.
New York : McGraw-Hill , c1967. - (McGraw-Hill series in higher mathematics)