@第{zbMATH00908525条，作者={Popovici，Florin and Klein，Silvius and Bencze，Mih{\'a}ly}，标题={有限归纳原理}，FJournal={Octogon}，日志={Octogon}，ISSN={1222-5657}，体积={3}，数字={2}，页码={32--39}，年份={1995}，语言={英语}，关键词={03E10}，zbMATH={908525}，Zbl={0854.04003}}