登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Subsystems of second order arithmetic
出版社：Berlin ; New York : Springer, c1999.
ISBN：3540648828
出版年：1999
作者：Simpson,Stephen G.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Subsystems of second order arithmetic
  • 作者：Simpson,Stephen G.
  • ISBN：9780521884396
  • 出版社：Cambridge ; New York : Cambridge University Press, 2009.
  • 出版年：2009
...

Büchi''s monadic second order successor arithmetic.
  • 作者：Siefkes,Dirk.
  • 出版社：Berlin, New York, Springer-Verlag, 1970.
  • 出版年：1970
...

Metamathematics of first-order arithmetic
  • 作者：Hajek,Petr.
  • ISBN：3540506322
  • 出版社：Berlin ; New York : Springer-Verlag, c1993.
  • 出版年：1993
...

Nonlinear Elliptic Equations of the Second Order
  • 作者：Qing Han.
  • ISBN：9781470426071
  • 出版社：American Mathematical Society, 2016-04.
  • 出版年：2016
...

Multidimensional second order stochastic processes
  • 作者：Kakihara,Y 囗ichir 囗.
  • ISBN：9810230001
  • 出版社：Singapore ; New Jersey : World Scientific, c1997.
  • 出版年：1997
...

Linear second order elliptic operators
  • 作者：López-Gómez,Julián.
  • ISBN：9789814440240
  • 出版社：Singapore : World Scientific, c2013.
  • 出版年：2013