On maximal intermediate logics with the disjunction property (1986)

by L Maksimova
Venue:Studia Logica