于亚诺夫。一、。 关于算法的逻辑方案。 （俄语） Zbl 0085.34003号 问题。基伯恩。 1, 75-127 (1958)。 审核人：D.塔马里 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3个 +4个 +5 显示扫描页面 引用于5评论引用于24文件 MSC公司： 68N99型 软件理论 03D75号 抽象公理化可计算性和递归理论 94C05（二氧化碳） 解析电路理论 关键词：实际分析 PDF格式BibTeX公司 XML格式引用 \textit{Yu.I.Yanov}，问题。基伯恩。1、75-127（1958年；Zbl 0085.34003）