J·拉莫斯。;J·拉斯加。;塞尔纳达斯,C。 重新审视保守的翻译。 (英语) Zbl 07695107号 J.菲洛斯。日志。 52,第3号,889-913(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.Ramos}等人,J.Philos。日志。52,编号3,889--913(2023;Zbl 07695107) 全文: 内政部
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;沃尔特·卡尼埃利 证明逻辑及其会议组合中可判定性的约简技术。 (英语) Zbl 07379167号 牛市。符号。日志。 27,第1号,39-66(2021).MSC公司:03B25号 03B45 03B20型 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,公牛。符号。日志。27,编号1,39--66(2021;Zbl 07379167) 全文: 内政部