@第{zbMATH05146183条，作者={库茨，奥利弗}，Title={度量空间逻辑注释}，FJournal={Studia Logica}，日志={Stud.Log.}，ISSN={0039-3215}，体积={85}，数字={1}，页码={75--104}，年份={2007}，语言={英语}，DOI={10.1007/s11225-007-9023-3}，关键词={03B45,54E35}，zbMATH={5146183}，Zbl={1121.03028}}