@杂项{zbMATH03735770，标题={To{H}。{B} ●●●●。{Curry}:{关于组合逻辑、lambda微积分和形式主义的论文}，年份={1980年}，语言={英语}，HowPublished={London等：{学术}{Press}，{A}{Harcourt}{Brace}{Jovanovich}的子公司}，}Publishers}。{二十五} ，606页，{{\textsterling}}26.60；\$64.00 (1980).},关键词={03B40,03-06,03-02,01A70,03A05,18D15}，作者={Seldin，J.P.和Hindley，J.R.}，zbMATH={3735770}，Zbl={0469.03006}}