Autor: JUAN SANCHO DE SAN ROMAN, JUAN SANCHO DE SAN ROMAN
ISBN: 8487189539
EAN: 9788487189531
Este libro intenta explicar con rigor y con claridad losconceptos basicos de la logicamatematica, y su utilizacion para determinar que funciones son computables.CONTENIDO DE LA OBRA:Preliminares. Logica proposicional. Logica de primer orden. Computabilidad.