同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #Decidability )
該当件数:1件
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>