城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Gandy R. O.)
該当件数:3件
Mathematical logic / edited by R.O. Gandy and C.E.M. Yates
Amsterdam ; New York : North-Holland : Elsevier , 2001. - (Collected works of A.M. Turing)
図書
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / edited by R. O. Gandy, J. M. E. Hyland.
v. 87. - Amsterdam : North-Holland , 1977. - New York : Elsevier North-Holland , 1977. - (Studies in logic and the foundations of mathematics ; v. 87)
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)