A simple, purely algebraic proof of the completeness of some first order logics
scientific article; zbMATH DE number 3478877