Lógica formal para informáticos
Tipo de material: TextoEditor: España ; Diaz de Santos ; 1996Edición: NULLTema(s): INFORMATICA LOGICA FORMAL PARA INFORMATICOS PROPOSICIONES LENGUAJE RAZONAMIENTO TEORIA INTERPRETATIVA METODO SEMANTICO DEMOSTRACION AXIOMATICA SISTEMA FORMAL LUCKASIEWICZ SISTEMA KLEEN DEDUCION NATURAL GENTZEN COHERENCIA SISTEMA AXIOMATICOTipo de ítem | Ubicación actual | Signatura | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|
Libro | Mar del Plata | 511.3 ARE (Navegar estantería) | Disponible | 2302 | |
Libro | Mar del Plata | 511.3 ARE (Navegar estantería) | Disponible | 2303 |
No hay comentarios en este titulo.