蒂莫西·麦克尼科尔。 可计算性和隐函数定理。 （英语） Zbl 1262.03142号 Cenzer，D.（ed.）等人，《第三届分析可计算性和复杂性国际会议论文集》（CCA 2006），美国佛罗里达州盖恩斯维尔，2006年11月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记167，3-15（2007）。MSC公司：03层60 26B10号 58立方厘米15 PDF格式BibTeX公司 XML格式引用 \textit{T.H.McNicholl}，电子。注释Theor。计算。科学。167、3--15（2007年；Zbl 1262.03142） 全文： 内政部
罗伯特·索尔。 可计算性理论和微分几何。 （英语） Zbl 1085.03033号 牛市。符号。日志。 10，第4期，457-486（2004）.MSC公司：03天80 03日第10天 03D25号 53立方厘米 58D17号 PDF格式BibTeX公司 XML格式引用 \发短信给公牛队。符号。日志。10，第4号，457--486（2004；Zbl 1085.03033） 全文： 内政部