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

Recursive function theory and logic.
出版社：New York, Academic Press [1971]
ISBN：0127689508
出版年：1971
作者：Yasuhara,Ann.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computability; an introduction to recursive function theory
  • 作者：Nigel Cutland
  • ISBN：0521294657
  • 出版社：0000.00
...

Computability, : an introduction to recursive function theory
  • 作者：Cutland,Nigel
  • ISBN：0521223849
  • 出版社：Cambridge : The Univ. Pr., 1980
  • 出版年：1980
...

Handbook of the history of logic.
  • 作者：Siekmann,Jörg H.
  • ISBN：9780444516244
  • 出版社：Amsterdam ; Boston : Elsevier, c2014.
  • 出版年：2014
...

Handbook of the history of logic.
  • 作者：Gabbay,Dov M.,
  • ISBN：9780444516107
  • 出版社：Amsterdam ; Boston : Elsevier North Holland, 2008.
  • 出版年：2008
...

Handbook of the history of logic.
  • 作者：Gabbay,Dov M.,
  • ISBN：0444516220
  • 出版社：Amsterdam ; Boston : Elsevier, c2006.
  • 出版年：2006
...

Mathematical logic.
  • 作者：Ershov,Y. L.
  • 出版社：[Leicester, Eng.] : Leicester University Press, 1957.,Cambridge : Harvard University Press, 1951.,Moscow : Mir Pub., 1984.,Moscow : MIR Publishers, 1984.
  • 出版年：1984