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

Proof theory and logical complexity Vol.1
出版社：Napoli : Bibliopolis, 1987.
ISBN：8870881237
出版年：1987
作者：Girard,Jean-Yves.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Logical foundations of proof complexity
  • 作者：Cook,Stephen,
  • ISBN：9780521517294
  • 出版社：Ithaca, NY : Association for Symbolic Logic ; New York, NY : Cambridge University Press, 2010.
  • 出版年：2010
...

Group theory, Vol.1
  • 作者：Michio Suzuki
  • 出版社：0000.00
...

Nuclear Theory Vol.1
  • 作者：Eisenberg,Judah M. and Eds.
  • ISBN：CNY
  • 出版社：Amsterdam: North-Holland, 1970.
  • 出版年：1970
...

Nuclear Theory Vol.1
  • 作者：Eisenberg,Judah M. and Eds.
  • 出版社：Amsterdam: North-Holland, 1970.
  • 出版年：1970
...

Representation theory; Vol.1
  • 作者：V.Dlab & P.Gabriel
  • ISBN：3540102639
  • 出版社：0000.00
...

Theory of operator algebras; Vol.1
  • 作者：Takesaki,Masamichi.
  • ISBN：0387903917
  • 出版社：New York : Springer-Verlag, 1979
  • 出版年：1979