京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA9.65)
該当件数:2件
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)