BFuchi's monadic second order successor arithmeticde Dirk SiefkesEdiciones (1)BFuchi's monadic second order successor arithmetic (1970)Springer-Verlag · inglésMás obras de Dirk SiefkesFormale Methoden und kleine SystemePioniere der InformatikGi-4.Jahrestagung