N.G. de Bruijn�s contribution to the formalization of mathematics

• Autores: Herman Geuvers, Rob Nederpelt
• Localización: Indagationes mathematicae, ISSN 0019-3577, Vol. 24, Nº 4, 2013 (Ejemplar dedicado a: In memory of N.G. (Dick) de Bruijn (1918�2012)), págs. 1034-1049
• Idioma: inglés
• DOI: 10.1016/j.indag.2013.09.003
• Texto completo no disponible (Saber más ...)