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.
- ISBN: 978-84-87189-53-1
- Editorial: Díaz de Santos
- Encuadernacion: Rústica
- Páginas: 222
- Fecha Publicación: 01/01/1990
- Nº Volúmenes: 1
- Idioma: Español