s.l.

Área de elementos

Taxonomía

Lugares

Código

Nota(s) sobre el alcance

    Nota(s) sobre el origen

      Mostrar nota(s)

        Términos jerárquicos

        s.l.

          Términos equivalentes

          s.l.

            Términos asociados

            s.l.

              3440 Descripción archivística results for s.l.

              3440 resultados directamente relacionados Excluir términos relacionados
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_31 · Unidad documental simple · 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.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_30 · Unidad documental simple · 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.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_27 · Unidad documental simple · 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.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_29 · Unidad documental simple · 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.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_28 · Unidad documental simple · 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.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_26 · Unidad documental simple · 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.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_25 · Unidad documental simple · 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.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_22 · Unidad documental simple · 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.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_23 · Unidad documental simple · 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.

               Sin título
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_24 · Unidad documental simple · s.d.
              Parte de Ayda Ignez Arruda

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

               Sin título