Mostrando 654 resultados

Descrição arquivística
Informe de apoio
BR SPCLEARQ AIA-PIm-CP-5 · Item · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.

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

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.

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

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-PIm-EL-3 · Item · s.d.
Parte de Ayda Ignez Arruda

Artigo, em inglês, de AIA intitulado Aspects of the Historical Development of Paraconsistent Logic. [Campinas], S.d. S.ass. 33p. dat. cópia.

Ayda Ignez Arruda
Informe de apoio
BR SPCLEARQ AIA-PIm-EL-6 · Item · 1972-07
Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.

Ayda Ignez Arruda
Resumo
BR SPCLEARQ AIA-PIm-EL-7 · Item · s.d.
Parte de Ayda Ignez Arruda

Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

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

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

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

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

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

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

Ayda Ignez Arruda