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

Model-theoretic logics
出版社：N.Y. : Springer, c1985.
ISBN：0387909362
出版年：1985
作者：J. Baldwin
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Model-theoretic logics
  • 作者：Barwise,Jon.
  • 出版社：New York : Springer-Verlag, c1985.
  • 出版年：1985
...

Mass terms and model-theoretic semantics
  • 作者：Bunt,Harry C.
  • ISBN：052125681X
  • 出版社：Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.
  • 出版年：1985
...

The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temp
  • 作者：Benthem,J. F. A. K. van,
  • ISBN：0792310810
  • 出版社：Dordrecht ; Boston : Kluwer Academic Publishers, 1991.
  • 出版年：1991
...

Model theoretic algebra : selected topics
  • 作者：Cherlin,Gregory L.,
  • ISBN：0387076964
  • 出版社：Berlin ; New York : Springer-Verlag, 1976.
  • 出版年：1976
...

Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici o
  • 作者：Mundici,Daniele,
  • ISBN：9783540759386
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007
...

Model Generation for Many-sorted Equations and Automated Reasoning in Modal Logics
  • 作者：Zhang
  • 出版社：中国科学院
  • 出版年：2003