罗伯特·福伯;拉杜·马代尔;Mio、Matteo 基于Riesz空间的概率逻辑。 (英语) Zbl 1442.03010号 日志。计算方法。科学。 16,第1号,第6号论文,45页(2020年).MSC公司:03B45号 03B48号 03B70号 20层06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Furber}等人,日志。计算方法。科学。16,第1号,第6号论文,45页(2020;Zbl 1442.03010) 全文: arXiv公司
达斯,阿努帕姆 关于循环算术的逻辑复杂性。 (英语) Zbl 1528.03240号 日志。计算方法。科学。 16,第1期,第1号论文,39页(2020年).MSC公司:30楼03号 20层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Das},日志。计算方法。科学。16,第1期,第1号论文,39页(2020年;Zbl 1528.03240) 全文: arXiv公司