V.V.里马茨基。 明确的基础WCP公司-全局可容许推理规则。 (英语。俄文原件) Zbl 07809056号 代数逻辑 62,第2期,148-165(2023); 《代数逻辑》第62卷第2期第219-246页(2023年)的译文。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rimatskii},代数逻辑62,No.2,148--165(2023;Zbl 07809056);代数逻辑62,No.2,219--246(2023)的翻译 全文: 内政部
杰伦·古德米特(Jeroen P.Goudsmit)。 可接受性的决定:关于弗里德曼的一个问题及其Rybakov的解决方案。 (英语) Zbl 07379165号 牛市。符号。日志。 27,第1期,1-38页(2021年).MSC公司:03B20型 03B25号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Goudsmit},公牛。符号。日志。27,编号1,1--38(2021;Zbl 07379165) 全文: 内政部