同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(書誌分類: QA9.615)
該当件数:4件
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski
Dordrecht ; Boston : Kluwer Academic Publishers , c1999. - (Synthese library ; v. 286)
図書 <BB00452978>
Recursive functionals / Luis E. Sanchis
Amsterdam ; Tokyo : North-Holland , 1992. - (Studies in logic and the foundations of mathematics ; v. 131)
図書 <BB00195682>
Theory of recursive functions and effective computability / Hartley Rogers, Jr
: pbk. - Cambridge, Mass. : MIT Press , 1987
図書 <BB10148225>
Computations in higher types / Johan Moldestad
Berlin ; New York : Springer-Verlag , 1977
電子書籍 <OB00846984>