冈田三弘 对希尔伯特的有限主义可分性观点和卡诺维奇·奥卡达·塞德罗夫的实时系统逻辑分析的一点小小评论。 （英语） Zbl 07370017号 Nigam，Vivek（编辑）等人，《逻辑、语言和安全》。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12300, 39-47 (2020).MSC公司：03-03 03B70号 03B80号 60年第68季度 01A60型 PDF格式BibTeX公司 XML格式引用 \发短信{冈田先生}，勒克特。注释计算。科学。12300，39-47（2020；Zbl 07370017） 全文： DOI程序
齐格，威尔弗里德 Cantor-Bernstein定理：有多少证明？ （英语） Zbl 1441.03015号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，编号2140，文章ID 20180031，第11页（2019）. 审核人：罗曼·穆拉夫斯基（波兹南） MSC公司：03B35型 03E20型 03-03 01A55号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{W.Sieg}，菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，编号2140，文章ID 20180031，11页（2019；Zbl 1441.03015） 全文： DOI程序
劳伦斯·C·鲍尔森。 计算逻辑：起源和应用。 （英语） Zbl 1402.68160号 程序。英国皇家学会。，A、 数学。物理学。工程科学。 474，No.2210，文章ID 20170872，14 p.（2018）.MSC公司：68吨15 68-03 01A60型 01A61号 03B35型 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson}，程序。英国皇家学会。，A、 数学。物理学。工程科学。474，第2210号，文章ID 20170872，14页（2018；Zbl 1402.68160） 全文： DOI程序 arXiv公司
阿西亚·马布比 机器测试数学。 （英语） 兹比尔1375.68101 Nieuw拱门。威斯克德。(5) 17，第3期，172-176（2016）. 审核人：奈尔·扎莫夫（喀山） MSC公司：68吨15 01A60型 03B35型 68-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Mahboubi}，纽拱门。威斯克德。（5） 17，第3号，172--176（2016；Zbl 1375.68101）
奥德·马勒 Amir Pnueli和混合系统的黎明。 （英语） Zbl 1360.68005号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。293-295 (2010).MSC公司：68-03 01A60型 01A70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛O.Maler｝，在：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。293-295（2010年；Zbl 1360.68005） 全文： DOI程序
埃尔肖夫，A.P。（编辑）；科努特，D.E。（编辑） [Zemanek，H。；科努特，D.E。；乌斯彭斯基，V.A。；塞梅诺夫，A.L。；J.M.巴兹丁。；于曼宁（音）。一、。；Nepevoda，N.N。；丘古，E.H。；莱蒂切夫斯基（A.A.Letichevsky）。；阿德尔·桑·维尔斯基，G.M。；A.O.斯利森科。；阿尔德，A。；V·斯特拉森。；南卡罗来纳州克莱恩。；北卡罗来纳州沙宁。；Tseytlin，G.S。；埃尔肖夫，A.P。；F.L.鲍尔。；格卢什科夫（V.M.Glushkov）。；Y·马蒂亚塞维奇。；Yu Matiyasevich。五、。；A.布达。；阿尼西莫夫。] 现代数学和计算机科学中的算法。《程序集》，乌兹别克SSR乌尔根奇，1979年9月16日至22日。 （英语） Zbl 0477.68035号 计算机科学课堂讲稿，第122页。柏林-海德堡-纽约：斯普林格-弗拉格。十一、 487 p.45.50马克；$21.20 (1981).MSC公司：68瓦99 68-06 01年3月30日 03-06 65年第68季度 03D60年 03B25号 03D25号 2005年11月 68号01 03层60 65楼03号 94甲15 68页第10页 03A05号 03D40号 2015年3月1日 60年第68季度 PDF格式BibTeX公司 XML格式