@收款{zbMATH00937377，作者={Beklemishev，Lev}，Title={关于{{\（\text{PA}\）}}}和{{\，BookTitle={逻辑和代数。纪念罗伯托·马加里的国际会议记录，1994年4月26日至30日，意大利蓬蒂尼亚诺}，国际标准图书编号={0-8247-9606-3}，页码={317--325}，年份={1996}，出版商={纽约，NY:Marcel Dekker}，语言={英语}，关键词={03G25,03F30,06E25,03B45}，zbMATH={937377}，Zbl={0855.03038}}