大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA9.6)
該当件数:4件
Recursion theory for metamathematics / Raymond M. Smullyan
New York : Oxford University Press , 1993. - (Oxford logic guides ; 22)
図書
Higher recursion theory / Gerald E. Sacks
: gw,: us. - Berlin : Springer-Verlag , c1990. - (Perspectives in mathematical logic)
Algebraic recursion theory / L.L. Ivanov ; editor, J.L. Bell
Chichester : E. Horwood. - New York : Halsted Press , 1986. - (Ellis Horwood series in mathematics and its applications)
General recursion theory : an axiomatic approach / Jens E. Fenstad
: us,: gw. - Berlin : Springer-Verlag , 1980. - (Perspectives in mathematical logic)