京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: 511/.65)
該当件数:1件
Büchi's monadic second order successor arithmetic / Dirk Siefkes
Berlin : Springer-Verlag , 1970. - (Lecture notes in mathematics ; 120). - (Decidable theories ; 1)
図書