Lógica formal para informáticos

Mostrar otras versiones (2)
Guardado en:
Detalles Bibliográficos
Autor principal: Arenas Alegría, Lourdes
Formato: Libro
Lenguaje:Indeterminado
Publicado: España Diaz de Santos 1996
Edición:NULL
Materias:
INFORMATICA LOGICA FORMAL PARA INFORMATICOS PROPOSICIONES LENGUAJE RAZONAMIENTO TEORIA INTERPRETATIVA METODO SEMANTICO DEMOSTRACION AXIOMATICA SISTEMA FORMAL LUCKASIEWICZ SISTEMA KLEEN DEDUCION NATURAL GENTZEN COHERENCIA SISTEMA AXIOMATICO
Aporte de:Registro referencial: Solicitar el recurso aquí
Biblioteca Universitaria H. Wast (UFASTA) de Universidad FASTA
Descripción
Descripción no disponible.

Ejemplares similares