Ambos libros abordan la lógica de primer orden de forma rigurosa, proporcionando fundamentos teóricos esenciales para la comprensión de conceptos lógicos avanzados.
Lógica de primer orden: fundamentos y aplicaciones
por René Cori, Daniel Lascar · 2000
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que 'Lógica de primer orden', este texto enfatiza la importancia de la demostración de teoremas, utilizando un enfoque sistemático y formal.