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

              Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.

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

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

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

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

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

              Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.

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

              Estudo de AIA intitulado Sobre Certos Sistemas de Lógica Relevante. S.l., S.d. S.ass. 11p. ms.

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

              Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

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

              Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.

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

              Estudo de AIA intitulado Sistemas formais inconsistentes e teorias de conjuntos. S.l., S.d. S.ass. 5p. 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
              Informe de apoio
              BR SPCLEARQ AIA_PIm_EL_13 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo, em inglês, de AIA intitulado Relevance Logic and the Schema of Separation. S.l., S.d. S.ass. 4p. ms.

               Untitled