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