Mathematical logic and formal systems. A collection of papers in honor of Professor Newton (A da Costa). - De Alcantara Lauiz Paulo Ed. (1985)