TY  - RPRT
TI  - Caracterización semántico-deductiva de la lógica doble LD y los gráficos existenciales Gamma-LD
AU  - Manuel Sierra Aristizábal
PY  - 2023
UR  - https://arxiv.org/abs/2310.02035
ID  - 2310.02035
ER  -