Author: Latin-American Symposium on Mathematical Logic (9th 1993 Bahia Blanca, Argentina)