Apparent variables from the standpoint of combinatory logic

成果类型:
Article
署名作者:
Curry, HB
刊物名称:
ANNALS OF MATHEMATICS
ISSN/ISSBN:
0003-486X
DOI:
10.2307/1968167
发表日期:
1933
页码:
381-404
关键词: