Lógica constructiva
por Nicolaas Govert de Bruijn · 1991
Ver sugerenciasSinopsis
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.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.