城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Cholak Peter)
該当件数:3件
Automorphisms of the lattice of recursively enumerable sets / Peter Cholak
Providence, R.I. : American Mathematical Society , 1995. - (Memoirs of the American Mathematical Society ; no. 541)
図書
Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak ...[et al.], editors.
online. - Providence, R.I. : American Mathematical Society , c2000. - (Contemporary Mathematics ; v. 257)
電子ブック
Milliken's tree theorem and its applications : a computability-theoretic perspective / Paul-Elliot Anglès D'Auriac ... [et al.]
Providence, RI : American Mathematical Society , c2024. - (Memoirs of the American Mathematical Society ; no. 1457)