
por P.S. Novikov · 1964
Sinopsis
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