Elementos de lógica constructiva
por Andrei S. Troelstra · 1991
Ver sugerenciasSinopsis
Un tratado exhaustivo que sistematiza y formaliza la lógica constructiva, abarcando desde sus principios básicos hasta sus conexiones con la teoría de pruebas y la computación.
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.