登录
 机构网站
  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
...

Set theory and foundations of mathematics : an introduction to mathematical logic.
  • 作者：Cenzer,Douglas,
  • ISBN：9789811201929
  • 出版社：New Jersey : World Scientific, 2020.
  • 出版年：2020
...

Computability and logic.
  • 作者：Jeffrey,Richard C.
  • ISBN：7505388282
  • 出版社：北京 电子工业出版社 2002.
  • 出版年：2002
...

Elements of symbolic logic.
  • 作者：Reichenbach,Hans,
  • 出版社：New York : The Free Press, 1966, c1947
  • 出版年：1966
...

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
  • 作者：Goodstein,R.L.
  • 出版社：Amsterdam : North-Holland pub. co., 1957.
  • 出版年：1957