“...Latin American Symposium on Mathematical Logic (Proceedings) San Paulo State)...”