Walendziak, Andrzej. 2024. “On Pre-Hilbert and Positive Implicative Pre-Hilbert Algebras”. Bulletin of the Section of Logic, May, 21 pp. https://doi.org/10.18778/0138-0680.2024.07.