Fabrice科雷亚 接地和真实功能。 (英语) Zbl 1253.03028号 日志。分析。,没有。Sér。 53,编号211,251-279(2010). 审核人:拉尔斯·洛夫格伦(伦德) MSC公司:03A10号 03B05号 03年10月 PDF格式BibTeX公司 XML格式引用 \textit{F.Correia},日志。分析。,努夫。Sér。53、编号211、251--279(2010;Zbl 1253.03028)
李成云;张兴芳 哥德尔逻辑系统中的函数决定公式问题。 (中文。英文摘要) Zbl 1224.03009号 J.系统。科学。数学。科学。 30,第2期,283-288(2010).MSC公司:03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.Li}和\textit{X.Zhang},J.Syst。科学。数学。科学。30,第2号,283--288(2010;Zbl 1224.03009)