Implicación semántica y derivabilidad formal

Detalles Bibliográficos
Autor principal: Beth, Evert Willem
Formato: Libro
Publicado: México : UNAM, Facultad de Filosofía y Letras, 1978
Colección:Colec. Cuadernos
Materias:
Lógica > Diagramas
Lógica > Máquinas
Inferencia(Lógica)
Descripción
Descripción Física:65 p : il ; 21 cm.

Ejemplares similares