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

              4348 Descrição arquivística resultados para Textual

              4348 resultados diretamente relacionados Excluir termos específicos
              Informe de apoio
              BR SPCLEARQ AIA-PIm-CP-7 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-6 · Item · 1972-07
              Parte de Ayda Ignez Arruda

              Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-12 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA intitulado Observações sobre um sistema sem a regra do modus ponens. S.l., S.d. Ass.: Ayda Ignez Arruda. 11p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-13 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo, em inglês, de AIA intitulado Relevance Logic and the Schema of Separation. S.l., S.d. S.ass. 4p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-14 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-17 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-21 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-V-2 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-V-9 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-SC-6 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.

               Ayda Ignez Arruda