s.l.

Área de elementos

Taxonomia

Locais

Código

Nota(s) de âmbito

    Nota(s) de fonte(s)

      Nota(s) de exibição

        Termos hierárquicos

        s.l.

          Termos equivalentes

          s.l.

            Termos associados

            s.l.

              3440 Descrição arquivística resultados para s.l.

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

              Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

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

              Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-28 · Item · 1976-08-29
              Parte de Ayda Ignez Arruda

              Estudo de AIA, sem título, tratando sobre vários aspectos pertinentes à lógica relevante. S.l., 29 e 31 ago. 1976. S.ass. 22p. ms.

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

              Estudo de AIA, sem título, tratando sobre sistemas lógicos sem a regra do modus ponens. S.l., S.d. S.ass. 12p. ms.

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

              Caderno de AIA, sem título, contendo anotações sobre Teoria de Conjuntos R e cálculos diversos. S.l., S.d. S.ass. 20p. ms.

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

              Estudo de AIA, sem título, contendo demonstrações de vários teoremas. S.l., S.d. S.ass. 5p. ms.

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

              Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PItm-11 · Item · 1975-12-13
              Parte de Ayda Ignez Arruda

              Estudo de Andréa Loparic, contendo exercícios, lemas, teoremas e corolários. S.l., 13 dez. 1975. Ass.: A. Loparic. 4p. ms. cópia.

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

              Estudo, em inglês, de AIA, sem título, sobre a construção de lógicas paraconsistentes adequadas para o estudo de teorias inconsistentes e incompletas. S.l., S.d. S.ass. 6p. ms.

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

              Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.

               Ayda Ignez Arruda