@InCollection{zbMATH06720996，作者={Simpson，Alex}，Title={循环算术等价于{Peano}算术}，BookTitle={软件科学和计算结构基础。2017年第20届国际会议，FOSSACS，作为欧洲软件理论和实践联合会议的一部分，2017年ETAPS，2017年4月22日至29日，瑞典乌普萨拉。诉讼程序}，国际标准图书编号={978-3-662-54457-0；978-3-562-54458-7}，页码={283--300}，年份={2017年}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-54458-7_17}，关键词={03F07,03F30,03F35}，zbMATH={6720996}，Zbl={1486.03095}}