Bezhanishvili, G.; Fussner, W. An Introduction to Symbolic Logic. TRIUMPHSAnnals 2026, 1.