大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA9.59)
該当件数:3件
Computability and logic / George S. Boolos, Richard C.Jeffrey
: pbk. - 3rd ed. - Cambridge, [Cambridgeshire] : Cambridge University Press , 1989
図書
Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards
: Berlin,: New York. - Berlin : Springer Verlag , c1989. - (Perspectives in mathematical logic)
Computability theory, semantics, and logic programming / Melvin Fitting
New York : Oxford University Press. - Oxford : Clarendon Press , 1987. - (Oxford logic guides ; 13)