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

Finite model theory
出版社：Berlin ; New York : Springer, 1999.
ISBN：3540657584
出版年：1999
作者：Ebbinghaus,Heinz-Dieter,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Finite and algorithmic model theory
  • 作者：Esparza,Javier.
  • ISBN：9780521718202
  • 出版社：Cambridge ; New York : Cambridge University Press, 2011.
  • 出版年：2011
...

Finite model theory
  • 作者：Ebbinghaus,Heinz-Dieter,
  • ISBN：3540287876
  • 出版社：New York, NY : Springer, 2006.
  • 出版年：2006
...

Finite model theory
  • 作者：Ebbinghaus,Heinz-Dieter,
  • ISBN：354060149X
  • 出版社：Berlin ; New York : Springer, c1995.
  • 出版年：1995
...

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
  • 作者：Keisler,H. Jerome.
  • 出版社：Amsterdam : North-Holland pub. co., 1971.
  • 出版年：1971
...

Model theory
  • 作者：Chang,C.C.
  • 出版社：Amsterdam : North-Holland pub. co., 1977.,London : North-Holland pub. co., 1973.
  • 出版年：1973
...

Model theory
  • 作者：Hodges,Wilfrid.
  • ISBN：0521066360
  • 出版社：Cambridge [England] ; New York : Cambridge University Press, 1993, 2008, printing.
  • 出版年：1993