城西国際大学を検索します。
CiNii Booksを検索します。
CiNiiを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 511.3(20))
該当件数:3件
Logic for information technology / Antony Galton.
Chichester : Wiley
図書
Computability : computable functions, logic, and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli.
Pacific Grove, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software. - (The Wadsworth & Brooks/Cole mathematics series)