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_CP_12 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.

               Untitled
              Publicação
              BR SPCLEARQ AIA_PIm_EL_1 · Item · s.d.
              Part of Ayda Ignez Arruda

              Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

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

              Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

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

              Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

               Untitled
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_6 · Item · 1972-07
              Part of Ayda Ignez Arruda

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

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

              Estudo de AIA, intitulado Capítulo I - Introdução aos Conceitos Fundamentais, tratando sobre lógica e sistemas formais. S.l., S.d. S.ass. 10p. ms., dat.

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

              Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.

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

              Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

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

              Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

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

               Untitled