D.希尔伯特。；伯奈斯，P。 数学基础。逻辑计算和算法的形式化。（Osnovaniya matematiki。Logicheskie ischisleniya i formalicatsiya arifmetiki）。Transl.公司。来自德国。俄语翻译。S.I.Adyan编辑。第2版。 （俄语） Zbl 0518.03001号 塞里亚：“Matematicheskaya Logika i Osnovaniya Matematiki”。莫斯科：“Nauka”。第556页（1982年）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于2评论 MSC公司： 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） 03Fxx公司 证明论与构造数学 30楼03号 一阶算法和片段 03楼50 构造系统的元数学 03F99型 证明论与构造数学 关键词：元数学；证明理论；直觉主义 引文：Zbl 0478.0302号；Zbl 0191.284号 PDF格式BibTeX公司 XML格式