D.希尔伯特。;伯奈斯，P。 [阿德扬，S.I。] 数学基础。逻辑计算和算法的形式化。（Osnovaniya matematiki。Logicheskie ischisleniya i formalicatsiya arifmetiki）。Transl.公司。来自德国的N.M.纳戈尔尼。俄文翻译版，序言由S.I.Adyan编写。 （俄语） Zbl 0478.0302号 物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流物流。莫斯科：“Nauka”。558 p.R.2.70（1979年）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4 +5 显示扫描页面 引用于3评论引用于1文件 MSC公司： 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） 03Fxx公司 证明理论与构造数学 30楼03号 一阶算法和片段 03楼50 构造系统的元数学 03F99型 证明理论与构造数学 关键词：元数学;证明理论;直觉主义 引文：兹比尔0191.284 PDF格式BibTeX公司 XML格式