@第{zbMATH07089071条，作者={Berardi，Stefano and Tatsuta，Makoto}，标题={经典系统{马丁}-{L{\“o}f}的归纳定义不等价于循环证明}，FJournal={计算机科学中的逻辑方法}，Journal＝｛Log.Methods Comput.Sci.｝，ISSN={1860-5974}，体积={15}，数字={3}，页码={25}，注={Id/No 10}，年份={2019}，语言={英语}，关键词={03F07,03D70}，zbMATH={7089071}，Zbl={1509.03158}}