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
Da Costa, Newton C.A., Calculs propositionnels pour les systèmes formels inconsistants I (1963) |
Da Costa, Newton C.A., Calculs propositionnels pour les systèmes formels inconsistants II (1964) |
Da Costa, Newton C.A., Calculs propositionnels pour les systèmes formels inconsistants III (1964) |
Da Costa, Newton C.A., Calculs propositionnels pour les systèmes formels inconsistants IV (1964) |
Da Costa, Newton C.A., Calculs propositionnels pour les systèmes formels inconsistants V (1964) |
Da Costa, Newton C.A., Calculs propositionnels pour les systèmes formels inconsistants VI (1964) |
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) |