by Ayda I. Arruda, Newton C. A. da Costa, A. M. Sette, Brazilian Conference on Mathematical Logic. (3rd 1979 Institute of Mathematics of the Federal University of Pernambuco, Recife, Brazil)