[1]
Czakon, M. 2024. D-complete Single Axioms for the Equivalential Calculus with the rules D and R. Bulletin of the Section of Logic. 53, 4 (Nov. 2024), 479–489. DOI:https://doi.org/10.18778/0138-0680.2024.15.