@第{zbMATH06996545条，作者={Sanders，Sam}，Title={优化逆向数学动物园的驯化}，FJournal＝{圣母院形式逻辑期刊}，Journal={圣母院J.形式逻辑}，ISSN={0029-4527}，体积={59}，数字={4}，页码＝{579-597}，年份={2018年}，语言={英语}，DOI={10.1215/00294527-2018-0015}，关键词={03B30,03F35,03H05}，zbMATH={6996545}，Zbl={1455.03015}}