Latin-American Symposium on Mathematical Logic (6th 1983 Caracas, Venezuela)