Author: Brazilian Conference on Mathematical Logic (11th 1996 Salvador, Brazil)