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

Deducibility and Decidability
EISBN：9780203015094
PISBN：9780415000338
出版社：Taylor & Francis Group
出版时间：1990-06-14
版次：1
作者：Gill,R. R. Rockingham
主题词：Philosophy,Mathematics
语种：英语
所属数据库：ProQuest Ebook Central
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Enumerability · Decidability Computability
  • 作者：Hans Hermes
  • EISBN：9783642461781
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1969
...

Enumerability, Decidability, Computability
  • 作者：Hans Hermes
  • EISBN：9783662116869
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1965
...

Enumerability · Decidability Computability
  • 作者：Hans Hermes
  • EISBN：9783662116869
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1965
...

Enumerability · Decidability Computability
  • 作者：Hans Hermes
  • EISBN：9783642461781
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1969
...

Decidability of Logical Theories and Their Combination
  • 作者：João Rasga,Cristina Sernadas
  • EISBN：9783030565541
  • 出版社：Springer International Publishing
  • 出版时间：2020