@杂项{zbMATH03819686，作者={Hilbert，D.和Bernays，P.}，数学基础。逻辑计算和算术形式化。（{Osnovaniya}matematiki.{Logicheskie}ischisleniya i formatsiya arifmetiki）。{翻译}。来自{德语}。{俄语}翻译。由{S}编辑。{一} ●●●●。{阿德扬}。第二个ed}，年份={1982年}，语言={俄语}，HowPublished={Seriya:''{Matematicheskaya}{Logika}i{Osnovaniya}{Matematiki}''。{Moskva}：“{Nauka}”。第556页（1982）。}，关键词={03-02,03Fxx，03F30,03F50,03F99}，zbMATH={3819686}，Zbl={0518.03001}}