@第{zbMATH00002597条，作者={Mints，G.E.}，Title={带有选择公理的二阶经典逻辑的范式定理}，FJournal={苏联数学。伊兹维西娅}，期刊={数学.苏联，Izv.}，ISSN={0025-5726}，体积={32}，数字={3}，Pages＝{587-605}，年份={1988年}，语言={英语}，DOI={10.1070/IM1989v032n03ABEH000782}，关键词={03F05}，zbMATH={2597}，Zbl={0850.03053}}