Información General

• Autores: Juan Sancho de San Román
• Editores: Díaz de Santos
• Año de publicación: 1990
• País: España
• Idioma: español
• ISBN: 84-87189-53-9
• Texto completo no disponible (Saber más ...)

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Descripción principal

• 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.