城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Chong C.-T)
該当件数:3件
Techniques of admissible recursion theory / C.T. Chong.
1106. - Berlin : Springer , 1984. - (Lecture notes in mathematics ; 1106)
図書
Techniques of Admissible Recursion Theory / by C. T. Chong
1st ed. 1984.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1984). - (Lecture Notes in Mathematics. ISSN:16179692 ; 1106)
電子ブック
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 / edited by C.-T. Chong and M.J. Wicks.
v. 111. - Amsterdam : North-Holland , 1983. - New York : Elsevier Science Pub. Co. , 1983. - (Studies in logic and the foundations of mathematics ; v. 111)