D.希尔伯特。;伯奈斯,P。 [阿德扬,S.I。] 数学基础。逻辑计算和算法的形式化。(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年)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于三评论引用于1文件 MSC公司: 03-02 与数学逻辑和基础相关的研究展览(专著、调查文章) 03Fxx公司 证明理论与构造数学 30楼03号 一阶算法和片段 03楼50 构造系统的元数学 03F99型 证明理论与构造数学 关键词:元数学;证明理论;直觉主义 引文:Zbl 0191.284号 PDF格式BibTeX公司 XML格式