The monadic second order theory of all countable ordinals

出版社:Berlin, New York, Springer, 1973.
ISBN:3387063455
出版年:1973
作者:Büchi,J. Richard.
资源类型:图书
细分类型:西文文献
相关推荐

Büchi''s monadic second order successor arithmetic.

  • 作者:Siefkes,Dirk.
  • 出版社:Berlin, New York, Springer-Verlag, 1970.
  • 出版年:1970

Oscillation theory for second order dynamic equations

  • 作者:Agarwal,Ravi P.
  • ISBN:0415300746
  • 出版社:London : Taylor & Francis, 2003.
  • 出版年:2003

Qualitative theory of second-order dynamic systems

  • 作者:Andronov,A. A.
  • ISBN:0470031956
  • 出版社:Jerusalem, Israel Program for Scientific Translations; [distributed by Halstead Press, a division of
  • 出版年:1973

Topics in the constructive theory of countable Markov chains

  • 作者:Fayolle,G.
  • ISBN:0521064473
  • 出版社:Cambridge [England] ; New York, NY : Press Syndicate of the University of Cambridge, 2008.
  • 出版年:2008

Spectral and scattering theory for second-order partial differential operators

  • 作者:Mochizuki,Kiyoshi,
  • ISBN:9781498756020
  • 出版社:Boca Raton, FL : CRC Press, c2017.
  • 出版年:2017

Subsystems of second order arithmetic

  • 作者:Simpson,Stephen G.
  • ISBN:9780521884396
  • 出版社:Cambridge ; New York : Cambridge University Press, 2009.
  • 出版年:2009