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

Non-classical logics model theory and computability : proceedings of the Symposium Campinas Braz
出版社：New York : North-Holland pub. co., 1977.
出版年：1977
作者：Latin-American Symposium on Mathematical Logic
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Non-Classical Logics
  • 作者：Rautenberg,Wolfgang
  • ISBN：354015521X
  • 出版社：New York : Springer-Verlag Berlin Heidelberg; London : distributed by Elsevier North-Holland, 1987.
  • 出版年：1987
...

An algebraic approach to non-classical logics
  • 作者：Rasiowa,Helena.
  • 出版社：Amsterdam : North-Holland pub. co., 1974.
  • 出版年：1974
...

Interval / probabilistic uncertainty and non-classical logics
  • 作者：Huynh,Van-Nam.
  • ISBN：9783540776635
  • 出版社：Berlin : Springer, c2008.
  • 出版年：2008
...

Automated deduction in classical and non-classical logics : selected papers
  • 作者：Caferra,Ricardo,
  • ISBN：3540671900
  • 出版社：Berlin ; New York : Springer, c2000.
  • 出版年：2000
...

Automated theorem-proving in non-classical logics
  • 作者：Thistlewaite,Paul B.
  • ISBN：0470210060
  • 出版社：London : Pitman ; New York : Wiley, 1988.
  • 出版年：1988
...

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