Volver a los detalles del artículo Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales Descargar Descargar PDF