Author: Latin-American Symposium on Mathematical Logic (9th 1994 Bahía Blanca, Argentina)