京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Computable functions)
該当件数:4件
Computability & unsolvability / Martin Davis
: pbk. - Dover ed. - New York : Dover , 1982. - (Dover books on advanced mathematics)
図書
Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards
: gw,: us. - Berlin ; New York ; Tokyo : Springer , c1989. - (Perspectives in mathematical logic)
Recursion on the countable functionals / Dag Normann
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in mathematics ; 811)
Logic, foundations of mathematics, and computability theory / edited by Robert E. Butts and Jaakko Hintikka
: pbk. - Dordrecht ; Boston : D. Reidel , c1977. - (Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975 ; pt. 1). - (The University of Western Ontario series in philosophy of science ; v. 9)