@第{zbMATH06223049条，作者＝｛Esp｛\'｛\i｝｝ndola，Christian｝，Title={中间谓词逻辑{Glivenko}定理的简短证明}，FJournal={数理逻辑档案}，日志={Arch.Math.Logic}，ISSN={0933-5846}，体积={52}，数字={7-8}，页码={823--826}，年份={2013}，语言={英语}，DOI={10.1007/s00153-013-0346-7}，关键词={03B55,03F03}，URL={urn.kb.se/resolve？urn=urn:nbn:se:su:diva-94966}，zbMATH={6223049}，Zbl={1316.03015}}