Latin-American Symposium on Mathematical Logic (10th 1996 Bogotá, Colombia)