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.