De Alcantara Lauiz Paulo Ed. Mathematical logic and formal systems. A collection of papers in honor of Professor Newton (A da Costa). - 1985 Standard No.: 76343 Source: Textual Dewey Class. No.: R14jN29, M5