×
Goncharov，S.S。;于尔肖夫（Yu Ershov）。L。

建设性模型。（Konstruktivnye模型） （俄语） Zbl 1043.03518号

Sibirskaya Shkola Algebry i Logiki 6。新西伯利亚：Nauchnaya Kniga（ISBN 5-88119-021-1）。xii，360页。(1999).
见英文译本审查（西伯利亚代数和逻辑学院，纽约：咨询局（2000）Zbl 0954.03036号.

引用于60文件

MSC公司：

03C57号 可计算结构理论
03-02 与数学逻辑和基础相关的研究展览（专著、调查文章）
03D45号 计算理论，有效呈现结构

关键词：

构造模型;可计算性;数字;可构造模型;可计算树

引文：

兹比尔0954.03036
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Goncharov}和\textit{Yu.L.Ershov}，Konstruktivnye modeli（俄语）。新西伯利亚：Nauchnaya Kniga（1999；Zbl 1043.03518）