Showing 1 - 2 results of 2 for search 'Siefkes, Dirk', query time: 0.01s Refine Results
  1. 1
    Büchi's monadic second order successor arithmetic /
    by Siefkes, Dirk
    Published 1970
    Book
  2. 2
    The monadic second order theory of all countable ordinals /
    by Büchi, J. Richard
    Published 1973
    Other Authors: “…Siefkes, Dirk…”
    Book
Search Tools: RSS Feed – Email Search