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
Search Result 1
por Arenas Alegría, Lourdes
Publicado 1996
Aportado por: Biblioteca UNPSJB
Libro
Agregar a favoritos
Guardado en:
Search Result 2
por Arenas Alegría, Lourdes
Publicado 1996
Aportado por: Sistema de Bibliotecas de la UNICEN
Libro
Agregar a favoritos
Guardado en:
Mostrar todas las versiones(3)

Ejemplares similares