大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 510/.01)
該当件数:2件
Enumerability, decidability, computability : anintroduction to the theory of recursivefunctions / Hans Hermes ; translated byG.T. Hermann and O. Plassmann
2nd rev. ed. - Berlin : Springer , 1969. - (Die Grundlehren der mathematischen Wissenschaften ; Bd. 127)
図書
From Frege to Gödel : a source book in mathematical logic, 1879-1931 / [edited by]Jean van Heijenoort
: pbk,: cloth. - Cambridge : Harvard University Press , 1967. - (Source books in the history of the sciences)