A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Display formulas [help]

Da Costa, Newton C.A., Sur les systèmes formels $\mathbf{C}_i, \mathbf{C}_i^\star, \mathbf{C}_i^=, \mathbf{D}_i$ et $\mathbf{NF}_i$ (1965)
Da Costa, Newton C.A., Opérations non monotones dans les treillis (1966)
Da Costa, Newton C.A., Filtres et idéaux d'une algèbre $\mathbf{C}_n$ (1967)
Da Costa, Newton C.A., Un nouveau système formel suggéré par Dedecker. (1967)
Da Costa, Newton C.A., Remarques sur le système $\mathbf{NF}_i$ (1971)
Da Costa, Newton C.A., Modèles et univers de Dedecker (1972)
Da Costa, Newton C.A., Remarques sur les calculs $\mathbf{C}_n$, $\mathbf{C}_n^\star$, $\mathbf{C}_n^=$, et $\mathbf{D}_n$ (1974)
Da Costa, Newton C.A., A Model-Theoretical Approach to Variable Binding Term Operations (1980)
Da Costa, Newton C.A.; Arruda, Ayda I., O Paradoxo de Curry - Moh Shaw-Kwei (1963)
Da Costa, Newton C.A.; Arruda, Ayda I., Sur le Schéma de las Séparation (1970)