Lógica simbólica y semántica (UNAM, 1987)