@第{zbMATH07055418条，作者={Piecha，Thomas和Schroeder-Heister，Peter}，标题={直觉主义命题逻辑相对于证明理论语义的不完全性}，FJournal={Studia Logica}，日志={Stud.Log.}，ISSN={0039-3215}，体积={107}，数字={1}，页码={233--246}，年份={2019}，语言={英语}，DOI={10.1007/s11225-018-9823-7}，关键词={03F03,03B20}，zbMATH=｛7055418｝}