. . . “Richard Statman：关于n但不是n+1容易组合子的存在性。（1999）”。 _：ID_499fcef09a3ce9ff2195fa98f0701be。_：ID_499fcef09a3ce9ff2195fa98f0701fbe ._：ID_499fcef09a3ce9ff2195fa98f0701fbe ._：ID_499fcef09a3ce9ff2195fa98f0701be“journals/mscs/Statman99”。 “关于n而非n+1容易组合子的存在性。”。 . . "1"^^. _：Sig_a73889b3441379bb7f2eb55b9a46af7a_1。_：Sig_a73889b3441379bb7f2eb55b9a46af7a_1 ._：Sig_a73889b3441379bb7f2eb55b9a46af7a_1“Richard Statman”。_：Sig_a73889b3441379bb7f2eb55b9a46af7a_1 ._：Sig_a73889b3441379bb7f2eb55b9a46af7a_1"1"^^._：信号_a73889b3441379bb7f2eb55b9a46af7a_1 . . . . "361-365" . “数学结构计算科学”。 “数学结构计算科学”。 "9" . "4" . "1999"^^. “dblp记录'journals/mscs/Statman99'的RDF数据的来源信息”。 . . . “2020-04-01T08:48:36+0200”。