Showing 6 results

Archival description
Publicação
BR SPCLEARQ AIA_PItm_1 · Item · [1974-1976]
Part of Ayda Ignez Arruda

Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.

Untitled
Carta de informações
BR SPCLEARQ AIA_C_Ca_23 · Item · 1983-01
Part of Ayda Ignez Arruda

Carta de AIA ao Prof. E.G.K. Lopez-Escobar contando sobre o retorno aos trabalhos científicos e administrativos, sobre a sua saúde e sobre as atividades de Itala, Sette, Luís Paulo, Cignoli e Elias. Campinas, [20] jan. 1983. S.ass. 2p. dat. cópia.

Untitled
Publicação
BR SPCLEARQ AIA_I_28 · Item · s.d.
Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. A semantical study of some of vagueness logic. s.l., p. 139 – 145, s.d.

Untitled
Publicação
BR SPCLEARQ AIA_I_29 · Item · s.d.
Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 – 138, s.d.

Untitled
Untitled
BR SPCLEARQ IMLD_H_CIMLD-H-419 · Item · 1977-06-19
Part of Untitled