@第{zbMATH06807843条，作者={Arusoaie、Andrei和Ciob{a}c{u{a}}、{c{S}}tefan和Lucanu、Dorel和Rosu、Grigore和Rusu、Vlad和{c{S}erb{u{a}nu{c{t}}{u{a-}}，Traian-Florin}，标题={程序逻辑及其应用}，FJournal=数学评论，期刊={Rev.Roum.Math.Pures Appl.}，ISSN={0035-3965}，体积={62}，数字={1}，页码={137--154}，年份={2017年}，语言={英语}，关键词={68N30,03B70,68N15,68Q55}，zbMATH={6807843}，Zbl={1389.68009}}