Lógica formal para informáticos

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


LEADER	00553nam a2200133Ia 4500
008	140627s9999 xx 000 0 und d
100		\|a Arenas Alegría, Lourdes
245		\|a Lógica formal para informáticos
250		\|a NULL
260		\|a España
260		\|b Diaz de Santos
260		\|c 1996
650		\|a 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
999		\|c 33316 \|d 33316

Ejemplares similares