“...Proceedings of the IX Latin American Symposium on nathematical logic....”