Showing 715 results

Archival description
Informe de apoio
BR SPCLEARQ AIA-PIm-CP-5 · Item · s.d.
Part of Ayda Ignez Arruda

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

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

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

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

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

Untitled
Publicação
BR SPCLEARQ AIA-PIm-EL-3 · Item · s.d.
Part of 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.

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

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

Untitled
Resumo
BR SPCLEARQ AIA-PIm-EL-7 · Item · s.d.
Part of 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.

Untitled
Informe de apoio
BR SPCLEARQ AIA-PIm-EL-12 · Item · s.d.
Part of 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.

Untitled
Informe de apoio
BR SPCLEARQ AIA-PIm-EL-13 · Item · s.d.
Part of 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.

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

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

Untitled