Biblioteca de la Universidad FASTA

Vista normal Vista MARC Vista ISBD

Arenas Alegría, Lourdes

Lógica formal para informáticos - NULL - España Diaz de Santos 1996

Subjects--Topical Terms:
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