Textual

Área de elementos

Taxonomia

Genre

Código

Nota(s) de âmbito

    Nota(s) de fonte(s)

      Nota(s) de exibição

        Termos hierárquicos

        Textual

          Termos equivalentes

          Textual

            Termos associados

            Textual

              1935 Descrição arquivística resultados para Textual

              1935 resultados diretamente relacionados Excluir termos específicos
              Publicação
              BR SPCLEARQ AIA-I-20 · Item · 1969-03-24
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Sur certains hiérarchies de calculs de prédicats. C.R. Acad. Sc. Paris, t.268, p. 629-632, 24 mar. 1969.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-22 · Item · 1968-01-08
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 37-39, 8 jan. 1968.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-23 · Item · 1968-04-29
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 897-900, 29 abr. 1968.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-24 · Item · 1970-05-04
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-34 · Item · 1974
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-37 · Item · 1970-03
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-43 · Item · [1978]
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-45 · Item · 1980-06 - 1980-09
              Parte de Ayda Ignez Arruda

              BATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-59 · Item · 1964
              Parte de Ayda Ignez Arruda

              COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-60 · Item · 1971-05
              Parte de Ayda Ignez Arruda

              COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

               Ayda Ignez Arruda