Title: Larisa Maksimova on Implication, Interpolation, and Definability
Subjects: Logic, symbolic and mathematical