Affichage de 715 résultats

Description archivistique
Ayda Ignez Arruda
Aperçu avant impression
Card view Table view
Informe de apoio
BR SPCLEARQ AIA-PIm-CP-5 · Pièce · s.d.
Fait partie de Ayda Ignez Arruda

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

 Sans titre
Informe de apoio
BR SPCLEARQ AIA-PIm-CP-6 · Pièce · s.d.
Fait partie de Ayda Ignez Arruda

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

 Sans titre
Informe de apoio
BR SPCLEARQ AIA-PIm-CP-7 · Pièce · s.d.
Fait partie de Ayda Ignez Arruda

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

 Sans titre
Publicação
BR SPCLEARQ AIA-PIm-EL-3 · Pièce · s.d.
Fait partie 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.

 Sans titre
Informe de apoio
BR SPCLEARQ AIA-PIm-EL-6 · Pièce · 1972-07
Fait partie de Ayda Ignez Arruda

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

 Sans titre
Resumo
BR SPCLEARQ AIA-PIm-EL-7 · Pièce · s.d.
Fait partie 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.

 Sans titre
Informe de apoio
BR SPCLEARQ AIA-PIm-EL-12 · Pièce · s.d.
Fait partie 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.

 Sans titre
Informe de apoio
BR SPCLEARQ AIA-PIm-EL-13 · Pièce · s.d.
Fait partie 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.

 Sans titre
Informe de apoio
BR SPCLEARQ AIA-PIm-EL-14 · Pièce · s.d.
Fait partie de Ayda Ignez Arruda

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

 Sans titre