Lógica informática / José Cuena.
Series Alianza-informáticaDetalles de publicación: Madrid : Alianza Editorial, c1985.Descripción: iv, 552 paginas. : fig. ; 23 cmISBN:- 8420686018
- 511.3 C96l
Contenidos:
Cálculo de predicados ; sistemas axiomáticos en lógica de primer orden ; lógica modal ; lógica de programas ; bases teóricas de las técnicas de demostración
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|---|
Libro - Material General | Biblioteca Juan Nepomuceno Mojica Angarita | Colección General | 511.3 C96l (Navegar estantería(Abre debajo)) | 1 | Disponible | Matemáticas | 017318 |
Cálculo de predicados ; sistemas axiomáticos en lógica de primer orden ; lógica modal ; lógica de programas ; bases teóricas de las técnicas de demostración
No hay comentarios en este titulo.