俄罗斯亚沃斯基 关于哥德尔证明谓词的可证明性逻辑的克里普克语义学。 （英语） Zbl 1080.03040号 J.日志。计算。 15，第4期，539-549（2005）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03层45 03B45号 35B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Yavorskiy}，J.Log。计算。15，编号4，539–549（2005年；兹bl 1080.03040） 全文： 内政部
雅沃斯基，R.E。 关于证明上带有量词的可证明逻辑的prenex片断。 （英语。俄文原件） Zbl 1079.03054号 程序。Steklov Inst.数学。242, 112-124 (2003); 翻译自Tr.Mat.Inst.Im。V.A.Steklova，第242页，第123-135页（2003年）。MSC公司：03层45 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Yavorskij}，in：Matematicheskaya logika i代数。斯博尼克州。K 100-letiyu so dnya rozhdeniya akademika Petra Sergevicha Novikova。莫斯科：Maik Nauka/Interperiodika。112-124（2003；Zbl 1079.03054）；翻译自Tr.Mat.Inst.Im。V.A.Steklova斯特科洛娃242、123--135（2003）