Advances in Contemporary Logic and Computer Science

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Carnielli, Walter A.
Autor Corporativo: Brazilian Conference on Mathematical Logic (Corporate Author.)
Otros Autores: D’Ottaviano, Itala M.L
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Providence : American Mathematical Society, 1999.
Colección:Contemporary Mathematics.
Temas:
Computer logic > Congresses.
Logic, Symbolic and mathematical > Congresses.
Engineering & Applied Sciences.
Computer Science.
Acceso en línea:Texto completo
Descripción
Notas:Description based upon print version of record.
""A modal framework for consequential implication and the factor law""
Descripción Física:1 online resource (344 p.)
ISBN:0821813641
9780821813645
9780821878262
0821878263

Ejemplares similares