Author: Brazilian Conference on Mathematical Logic (10th 1993 Itatiaia, Rio de Janeiro, Brazil)