佐哈尔·曼纳 计算的数学理论。 (俄语) Zbl 0408.68022号 基伯恩。Sb.,11月序列号。 15, 38-100 (1978). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于三文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:计算数学理论 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna},Kibern(基伯恩)。Sb.,11月序列号。15、38——100(1978年;Zbl 0408.68022)