@第{zbMATH07639906条，作者={Bezhanishvili，Nick and de Groot，Jim and Venema，Yde}，Title={余代数几何逻辑：基本理论}，FJournal＝{计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={18}，数字={4}，Pages＝｛41｝，注={Id/No 10}，年份={2022}，语言＝{英语}，DOI={10.46298/LMCS-18（4:10）2022}，关键词={03B70,68-XX}，zbMATH={7639906}}