莱奥·埃克巴德；艾曼纽·菲利奥特；阿伊拉特·哈利莫夫 线性有序数据域上寄存器自动机的Church综合。 （英语） Zbl 07815091号 形式方法系统。设计。 61，编号2-3290-337（2022）.MSC公司：68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人，《形式方法系统》。设计。61，编号2--3，290-337（2022；Zbl 07815091） 全文： 内政部 arXiv公司 哈尔
亚历山大·拉比诺维奇 用一元谓词展开\（（\mathbb{N}，<）\）的Church问题。 （英语） Zbl 1285.03005号 Inf.计算。 218, 1-16 (2012). 审核人：Mihai Prunescu（布加勒斯特） MSC公司：03年2月25日 03B15号机组 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，Inf.计算。218，1--16（2012；Zbl 1285.03005） 全文： 内政部
亚历山大·拉比诺维奇 有限状态和可定义获胜策略的综合。 （英语） Zbl 1250.03015号 Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4，359-370，仅电子版（2009年）。MSC公司：03年2月25日 05年3月 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，LIPIcs——莱布尼茨国际程序。通知。4359-370（2009年；兹bl 1250.03015） 全文： 内政部 链接
亚历山大·拉比诺维奇 可数序数的教会问题。 （英语） Zbl 1168.03006号 日志。计算方法。科学。 5，第2期，论文5，19页（2009年）.MSC公司：03年2月25日 05年3月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，日志。计算方法。科学。5，第2号，论文5，19页（2009年；Zbl 1168.03006） 全文： 内政部
克里斯托弗·格夫特 维特根斯坦谈数学、思维和心智机器。 （英语） Zbl 0968.03003号 阿维伯里哲学系列。奥尔德肖特：阿什盖特。xx，349页（1998年）。 审核人：沃尔克·佩克豪斯（爱尔兰根） MSC公司：03-03 00A30型 01A60型 03年05月 03日第10天 03-02 PDF格式BibTeX公司 XML格式引用 \textit{C.Gefwert}，维特根斯坦关于数学、思维和心智机器的文章。奥尔德肖特：阿什盖特（1998；Zbl 0968.03003）
贾科·辛提卡 数学中的语言、真理和逻辑。 （英语） Zbl 0894.03001号 Jaakko Hintikka论文集. 3. 多德雷赫特：Kluwer学术出版社。x、 第247页（1998年）。 审核人：H.C.M.de Swart（蒂尔堡） MSC公司：03-02 03年05月 00A30型 00B10号机组 00B60号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.Hintikka}，数学中的语言、真理和逻辑。多德雷赫特：Kluwer学术出版社（1998年；Zbl 0894.03001）
卢卡·安德里尼 关于丘奇论文和博弈论的一些注释。 （英语） Zbl 0697.68055号 理论决策。 29，第1期，第19-52页（1990年）.MSC公司：2005年第68季度 91A40型 03D20日 03日第10天 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{L.Anderlini}，《理论决定》。29，No.1，19--52（1990；Zbl 0697.68055） 全文： 内政部