@文章{zbMATH06743995，作者={Japaridze，Giorgi}，标题={命题可计算性逻辑。{II}}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={7}，数字={2}，页码={331--362}，年份＝｛2006｝，语言={英语}，DOI={10.1145/1131131319}，关键词={03B70,03F52,68Q05,68Q10,91A80}，zbMATH={6743995}，Zbl={1367.03057}}