Newton C. A. da Costa

Two Formal Systems of Set Theory

Newton C. A. da Costa, 1967 .

An Inductive Annotated Logic

Newton C. A. da Costa, Décio Krause, 2002 .

On the underlying logic of two systems of set theory

Newton C. A. da Costa, 1970 .

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa

Newton C. A. da Costa, Luiz Paulo de Alcantara, 1985 .

A Set-Theoretic Predicate for Semantics in Natural and Formal Languages

Newton C. A. da Costa, Otávio Bueno, Adonai S. Sant'Anna, 2014 .

On paraconsistent deontic logic

Newton C. A. da Costa, Walter Carnielli, 1986 .