京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Gödel's theorem)
該当件数:3件
On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
pbk.. - New York : Dover Publications , 1992
図書
Forever undecided : a puzzle guide to Gödel / by Raymond Smullyan
Oxford [Oxfordshire] ; New York : Oxford University Press , 1988, c1987
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)