s.l.

Elements area

Taxonomy

Places

Code

Scope note(s)

    Source note(s)

      Display note(s)

        Hierarchical terms

        s.l.

          Equivalent terms

          s.l.

            Associated terms

            s.l.

              3440 Archival description results for s.l.

              3440 results directly related Exclude narrower terms
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_22 · Item · s.d.
              Part of Ayda Ignez Arruda

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

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_23 · Item · s.d.
              Part of 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.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_24 · Item · s.d.
              Part of Ayda Ignez Arruda

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

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_26 · Item · 1975-09-05
              Part of 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.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_25 · Item · s.d.
              Part of 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.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_27 · Item · s.d.
              Part of 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.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_29 · Item · 1976-09-16
              Part of 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.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_28 · Item · 1976-08-29
              Part of 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.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_31 · Item · s.d.
              Part of 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.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_30 · Item · s.d.
              Part of 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.

               Untitled