同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #Gödel's theorem)
該当件数:11件
Gödel's theorem : a very short introduction / A.W. Moore
Oxford : Oxford University Press , 2022. - (Very short introductions ; 718)
図書 <BB13199319>
The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes
: Germany,: U.S.. - Berlin ; New York : Springer , 1973. - (Lecture notes in mathematics ; 328). - (Decidable theories ; 2)
図書 <BB00090636>
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>
Metamathematics, machines, and Gödel's proof / N. Shankar
Cambridge : Cambridge University Press , 1994. - (Cambridge tracts in theoretical computer science ; 38)
図書 <BB00275095>
Word problems II : the Oxford book / edited by S.I. Adian, W.W. Boone, G. Higman
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 95)
図書 <BB00063066>
Mechanism, mentalism, and metamathematics : an essay on finitism / Judson Chambers Webb
Dordrecht ; Boston : D. Reidel , c1980. - (Synthese library ; v. 137)
図書 <BB00079329>
Impossibility : the limits of science and the science of limits / John D. Barrow
: hbk,: pbk. - Oxford : Oxford University Press , 1998
図書 <BB00377343>
Formal number theory and computability : a workbook / by Alec Fisher
: pbk. - Oxford [Oxfordshire] : Clarendon Press , 1982. - (Oxford logic guides ; 7)
図書 <BB00000085>
Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz ... [et al.]
: hbk. - Cambridge ; New York : Cambridge University Press , 2011
図書 <BB12254491>
Shadows of the mind : a search for the missing science of consciousness / Roger Penrose
Oxford ; New York : Oxford University Press , 1994
図書 <BB00282532>
The large, the small and the human mind / Roger Penrose, with Abner Shimony ... [et al.] ; edited by Malcolm Longair
New York : Cambridge University Press , c1997
図書 <BB00330445>