Newton C. A. da Costa

• Lógica indutiva e probabilidade
• Elementos de teoria paraconsistente de conjuntos
• Ensaio sobre os fundamentos da lógica
• Logiques classiques et non classiques
• Science and partial truth
• Sistemas formais inconsistentes
• Goedel's Way
• Newton da Costa
• On Hilbert's Sixth Problem
• On the theory of inconsistent formal systems
• Proceedings of the third Brazilian Conference on Mathematical Logic