Suscríbete a nuestro boletín de novedades y recíbelo en tu email.
Ver Índice
Preliminares. Lógica proposicional.Lógica de primer orden. Computabilidad.
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.