Documents liés : [3 document(s)]

Documents (Auteurs)

• [MathOuvrage] Büchi's monadic second order successor arithmetic / Siefkes, Dirk. -Berlin : Springer, 1970. - 130
  https://link.springer.com/book/10.1007/BFb0061047
  
• [MathOuvrage] The Monadic second order theory of all countable ordinals / Buechi, J. Richard ; Siefkes, Dirk. -Berlin : Springer, 1973. - 217
  https://doi.org/10.1007/BFb0082720
  
• [MathOuvrage] The Collected works of J. Richard Büchi / Buechi, J. Richard ; Ed. Maclane, Saunders ; Ed. Siefkes, Dirk. -Berlin : Springer, 1990. - xvi, 696