×

数学基础。逻辑计算和算法的形式化。(Osnovaniya matematiki。Logicheskie ischisleniya i formalicatsiya arifmetiki)。Transl.公司。来自德国的N.M.Nagornyj。俄文翻译版,序言由S.I.Adyan编写。 (俄语) Zbl 0478.0302号

Matematicheskaya Logika i Osnovaniya Matematiki公司。莫斯科:“Nauka”。558 p.R.2.70(1979年)。

MSC公司:

03-02 与数学逻辑和基础相关的研究展览(专著、调查文章)
03Fxx公司 证明理论与构造数学
30楼03号 一阶算法和片段
03楼50 构造系统的元数学
03F99型 证明理论与构造数学

引文:

Zbl 0191.284号