Axiomatización de lógicas monádicas con varios cuantificadores cardinales Xavier Caicedo; Juan M. Lesmes — 1990 Revista colombiana de matematicas