Textual

Elements area

Taxonomy

Genre

Code

Scope note(s)

    Source note(s)

      Display note(s)

        Hierarchical terms

        Textual

          Equivalent terms

          Textual

            Associated terms

            Textual

              1935 Archival description results for Textual

              1935 results directly related Exclude narrower terms
              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-11 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. 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-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-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-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-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