s.l.

Área de elementos

Taxonomia

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_22 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA, intitulado Teorema de Completude para teorias de primeira ordem. S.l., S.d. S.ass. 22p. ms.

              Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_23 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA, intitulado Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P. S.l., S.d. S.ass. 26p. ms.

              Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_24 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.

              Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_26 · Item · 1975-09-05
              Parte de Ayda Ignez Arruda

              Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.

              Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_25 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA, sem título, contendo partes intituladas Notas para a História da Lógica, História, e Variedades da Lógica. S.l., S.d. S.ass. 15p. ms.

              Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_27 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms.

              Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_29 · Item · 1976-09-16
              Parte de Ayda Ignez Arruda

              Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. 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_31 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo, em francês, de AIA, sem título, sobre a regra do modus ponens. S.l., S.d. S.ass. 19p. 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