Ayda I. Arruda

• Proceedings of the third Brazilian Conference on Mathematical Logic