Author: Latin-American Symposium on Mathematical Logic Santiago de Chile 1978.