@第{zbMATH02133257条，作者={Do{\v{s}}en，Kosta}，标题={基于规范化和通用性的证明的标识。}，FJournal={符号逻辑公报}，日志={Bull.Symb.Log.}，ISSN={1079-8986}，体积={9}，数字={4}，页码={477--503}，年份={2003}，语言={英语}，DOI={10.2178/bsl/1067620091}，关键词={03F07,03F03,03F05,03-03,18A15}，zbMATH={2133257}，Zbl={1058.03061}}