Methods in mathematical logic : proceedings of the 6th Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6 August, 1983 - Di Prisco, C. A. (Springer-Verlag, 1985)