
por P.S. Novikov · 1964
Ver sugerenciasSinopsis
Este libro introduce los conceptos fundamentales de la lógica matemática, incluyendo la lógica proposicional, la lógica de predicados y las teorías formales, con un énfasis en las pruebas y la consistencia de los sistemas deductivos.
Sé el primero en valorar este libro.
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.