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
              Apontamentos
              BR SPCLEARQ AIA_PIm_V_1 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.

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

              Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.

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

              Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.

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

              Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.

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

              Artigo de AIA intitulado Silogismos Não-Aristotélicos. S.l., S.d. S.ass. 17p. dat. cópia.

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

              Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.

               Untitled
              Resumo
              BR SPCLEARQ AIA_PIm_A_4 · Item · s.d.
              Part of Ayda Ignez Arruda

              Resumo, em inglês, de AIA, intitulado On Griss' Propositional Calculus. S.l., S.d. S.ass. 1p. dat.

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

              Artigo de AIA intitulado Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes, analisando cálculos proposicionais denominados P e P*. S.l., S.d. S.ass. 11p. dat.

               Untitled
              Carta de recomendação
              BR SPCLEARQ AIA_C_Ct_25 · Item · 1976-05-25
              Part of Ayda Ignez Arruda

              Carta, em inglês, de W.W. Tait a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 25 maio 1976. Ass.: W.W. Tait. 1p. dat. cópia.

               Untitled
              Ofício
              BR SPCLEARQ AIA_C_Ct_22 · Item · 1979-12-18
              Part of Ayda Ignez Arruda

              Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio, diretor do IMECC, a Plínio Alves de Moraes, reitor da Unicamp, enviando lista tríplice da eleição para diretor do IMECC. S.l., 18 dez. 1979. Ass.: Ubiratan D’Ambrósio. 1p. dat. cópia.

               Untitled