京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA9.59)
該当件数:1件
Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards
: gw,: us. - Berlin ; New York ; Tokyo : Springer , c1989. - (Perspectives in mathematical logic)
図書