holandés
Nicolaas Govert de Bruijn fue un matemático y teórico de números holandés conocido por sus contribuciones en análisis matemático y teoría de conjuntos. Es relevante por su trabajo en la secuencia de números primos y el teorema de los números primos.
1991·divulgacion
Una exploración de los fundamentos de la lógica y la computación desde una perspectiva constructivista, a menudo asociada con el desarrollo de sistemas de prueba interactivos y lenguajes de programación dependientes.
Aparecen junto a Nicolaas Govert de Bruijn en búsquedas del archivo
