Lógica matemática y computabilidad

Este libro intenta explicar con rigor y con claridad losconceptos básicos de la lógica matemá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.

• ISBN Papel.: 9788487189531
• Páginas : 240
• Editorial : Ediciones Díaz de Santos
• Año Publicación: 1990
• Nº Volúmenes : 1
• Nº Edición : 1
Material Anejo :