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

The foundations of intuitionistic mathematics : especially in relation to recursive functions
出版社：Amsterdam : North-Holland pub. co., 1965.
出版年：1965
作者：Kleene,Stephen Cole.
资源类型：图书
细分类型：西文文献,馆内阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computability : computable functions, logic, and the foundations of mathematics.
  • 作者：Epstein,Richard L.,
  • ISBN：0534546447
  • 出版社：Belmont, CA : Wadsworth/Thomson Learning, c2000.
  • 出版年：2000
...

Recursive functions in computer theory
  • 作者：Péter,Rózsa,
  • ISBN：0470271957
  • 出版社：Chichester, West Sussex : Ellis Horwood ; New York : Halsted Press, c1981.
  • 出版年：1981
...

Climate : considered especially in relation to man
  • 作者：Ward,Robert De Courcy
  • 出版社：London : John Murray, Albemarle Street, 1910.
  • 出版年：1910
...

Handbook of recursive mathematics
  • 作者：Ershov,I︠U︡riĭ Leonidovich.
  • ISBN：044450107X
  • 出版社：Amsterdam ; New York : Elsevier, 1998.
  • 出版年：1998
...

Theory Of Recursive Functions And Effective Computability
  • 作者：Rogers,Hartley
  • ISBN：CNY3.10
  • 出版社：New York: McGraw-Hill Book Company, 1967.
  • 出版年：1967
...

Theory Of Recursive Functions And Effective Computability
  • 作者：Rogers,Hartley
  • 出版社：New York: McGraw-Hill Book Company, 1967.
  • 出版年：1967