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

              4348 Descrição arquivística resultados para Textual

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

              Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.

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

              Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.

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

              Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.

               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