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

Combinatory logic : pure applied and typed
出版社：Boca Raton, FL : CRC Press, 2012.
ISBN：9781439800003
出版年：2012
作者：Bimbó,Katalin,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Annals of Pure and Applied Logic
  • ISBN：01680072
  • 出版社：North-Holland
  • 出版年：1983
...

Combinatory logic
  • 作者：Curry,Haskell B.
  • ISBN：赠阅
  • 出版社：Amsterdam, North-Holland Pub. Co., 1958.
  • 出版年：1958
...

Combinatory logic
  • 作者：Curry,Haskell B.
  • 出版社：Amsterdam : North-Holland pub. co., 1958.,Amsterdam, North-Holland Pub. Co., 1958.
  • 出版年：1958
...

Introduction to combinatory logic
  • 作者：Hindley,J. Roger.
  • ISBN：0521096979
  • 出版社：Cambridge [Eng.] University Press, 1972.
  • 出版年：1972
...

Combinatory logic, v. 2
  • 作者：Curry,Haskell B.
  • 出版社：Amsterdam : North-Holland pub. co., 1972.
  • 出版年：1972
...

Pure inductive logic
  • 作者：Paris,Jeffrey,
  • ISBN：9781107042308
  • 出版社：Cambridge : Cambridge University Press, 2015.
  • 出版年：2015