@文章{zbMATH07327949，作者={Mahboubi，Assia和Sibut-Pinote，Thomas}，Title={{（\ zeta（3）\）}}}非理性的形式证明，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={17}，数字={1}，页码={25}，注={Id/No 16}，年份={2021}，语言={英语}，关键词={68V15,11J72,11M06,68W30}，URL={lmcs.episciences.org/7193}，zbMATH={7327949}，Zbl={1509.68311}}