 volver |
| Lógica formal para informáticos |
| |
| Publicación: |
|
| Editorial: |
Diaz de Santos, España |
| Cantidad de páginas: |
331 p. |
| Código SCDD: |
511.3
|
| ISBN: |
84-7978-240-4 |
| Contenido temático: |
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 |
| Contenido Web: |
|
No se encuentran ejemplares para este material
Búsqueda: Detalles del material seleccionado
|
Cerrar Sesión 
Seguinos
Hacete Fan