Textual

Área de elementos

Taxonomia

Genre

Código

Nota(s) de âmbito

    Nota(s) de fonte(s)

      Nota(s) de exibição

        Termos hierárquicos

        Textual

          Termos equivalentes

          Textual

            Termos associados

            Textual

              1935 Descrição arquivística resultados para Textual

              1935 resultados diretamente relacionados Excluir termos específicos
              Informe de apoio
              BR SPCLEARQ AIA-PIm-SC-4 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA, intitulado Teoremas em Cw. S.l., S.d. S.ass. 8p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-SC-5 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA, sem título, tratando sobre completude, consistência e decidibilidade de C. S.l., S.d. S.ass. 12p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-CP-12 · Item · s.d.
              Parte de 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.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-4 · Item · s.d.
              Parte de Ayda Ignez Arruda

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

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-9 · Item · s.d.
              Parte de Ayda Ignez Arruda

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

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-10 · Item · s.d.
              Parte de Ayda Ignez Arruda

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

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-11 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. ms.

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-18 · Item · s.d.
              Parte de Ayda Ignez Arruda

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

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-22 · Item · s.d.
              Parte de Ayda Ignez Arruda

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

               Ayda Ignez Arruda
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-23 · Item · s.d.
              Parte de 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.

               Ayda Ignez Arruda