@第{zbMATH06339332条，作者={Geuvers，Herman and Nederpelt，Rob}，标题={N.{G}。de{Bruijn}对数学形式化的贡献，FJournal={Indagationes Mathematicae.New Series}，期刊=｛Indag.Math.，新系列｝，ISSN={0019-3577}，体积={24}，数字={4}，页码={1034--1049}，年份={2013}，语言={英语}，DOI={10.1016/j.indag.2013.09.003}，关键词={03-03,03B35,03B40,01A70,68T15}，zbMATH={6339332}，Zbl={1359.03003}}