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

Categorical logic and type theory
出版社：Amsterdam ; New York : Elsevier Science, c1999.
ISBN：0444501703
出版年：1999
作者：Jacobs,Bart.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Type-2 fuzzy logic : theory and applications
  • 作者：Oscar Castillo.
  • ISBN：3540762833
  • 出版社：Berlin, Heidelberg : Springer-Verlag, c2008.
  • 出版年：2008
...

Introduction to higher order categorical logic
  • 作者：Lambek,Joachim.
  • ISBN：0521356539
  • 出版社：Cambridge ; New York : Cambridge University Press, 1988.
  • 出版年：1988
...

First order categorical logic : model-theoretical methods in the theory of topoi and related categor
  • 作者：Makkai,Michael,
  • ISBN：0387084398
  • 出版社：Berlin ; New York : Springer-Verlag, 1977.
  • 出版年：1977
...

Introduction to type-2 fuzzy logic control : theory and applications
  • 作者：Mendel,Jerry M.,
  • ISBN：9781118278390
  • 出版年：2014
...

Introduction to higher order categorical logic
  • 作者：Lambek,Joachim.
  • ISBN：0521246652
  • 出版社：Cambridge [Cambridgeshire] ; New York : Cambridge University Press, c1986.
  • 出版年：1986
...

An introduction to mathematical logic and type theory : to truth through proof
  • 作者：Andrews,P. B.
  • ISBN：0120585359
  • 出版社：Orlando : Academic Press, 1986.
  • 出版年：1986