Haskell B. Curry 人物
相关论文查看全部 (3)
To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism
1980Academic Press eBooks引用 912
Foundations of Mathematical Logic.
1965American Mathematical Monthly引用 456
The inconsistency of certain formal logics
1942Journal of Symbolic Logic引用 313
相关公司查看全部 (1)
Pennsylvania State UniversityUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据