G. Bezhanishvili and W. Fussner, “An Introduction to Symbolic Logic”, TRIUMPHSAnnals, vol. 1, no. 2, Jun. 2026.