登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Categorical Logic and Type Theory
PISBN：9780444501707
出版时间：Pre 2007
作者：B. Jacobs
主题词：Mathematics pre-2007
语种：英语
所属数据库：Elsevier电子图书
丛书题名：Studies in Logic and the Foundations of Mathematics
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

An Introduction to Mathematical Logic and Type Theory
  • 作者：Peter B. Andrews
  • EISBN：9789401599344
  • 出版社：Springer Netherlands
  • 出版时间：2002
...

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
  • 作者：Peter B. Andrews
  • EISBN：9789401599344
  • 出版社：Springer Netherlands
  • 出版时间：2002
...

Type-2 Fuzzy Logic: Theory and Applications
  • 作者：Oscar Castillo,Patricia Melin
  • EISBN：9783540762843
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2008
...

Introduction to Type-2 Fuzzy Logic Control: Theory and Applications
  • 作者：Mendel
  • PISBN：9781118886540
  • 出版社：John Wiley & Sons, Inc
  • 出版时间：2014
...

First Order Categorical Logic
  • 作者：M. Makkai,G.E. Reyes
  • EISBN：9783540371007
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1977
...

First Order Categorical Logic
  • 作者：Michael Makkai,Gonzalo E. Reyes
  • EISBN：9783540371007
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1977