X Latin American Symposium on Mathematical Logic
scientific article; zbMATH DE number 938827