Descargar Libro: Lógica Matemática Y Computabilidad


Autores


Resumen del Libro

Este libro intenta explicar con rigor y con claridad losconceptos básicos de la lógicamatemática, y su utilización para determinar qué funciones son computables.CONTENIDO DE LA OBRA:Preliminares. Lógica proposicional. Lógica de primer orden. Computabilidad.


Opciones de descarga: