On universal algebraic constructions of logics (1977)

by H Andréka, T Gregely H, I Németi
Venue:Studia Logica