Showing 654 results

Archival description
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_1 · Item · s.d.
Part of Ayda Ignez Arruda

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

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

Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

Untitled
Curriculum vitae
BR SPCLEARQ AIA_Cv_1 · Item · s.d.
Part of Ayda Ignez Arruda

Curriculum vitae, em inglês, de Florencio G. Asenjo. S.l. S.d. S.ass. 4p. dat.

Untitled
Relatório científico
BR SPCLEARQ AIA_AA_Fapesp_DJK_10 · Item · 1979-12-03
Part of Ayda Ignez Arruda

Relatório científico de AIA relativo à visita do professor Jerzy Kotas.

Untitled
Carta de informações
BR SPCLEARQ AIA_C_Ca_10 · Item · 1983-06-21
Part of Ayda Ignez Arruda

Telex, em inglês, de AIA ao Prof. Carlos Di Prisco, acusando recebimento da sua passagem aérea e do Prof. Cignoli.

Untitled
Ofício
BR SPCLEARQ AIA_C_Ct_10 · Item · 1981-11-05
Part of Ayda Ignez Arruda

Ofício DGA-1 n. 232/81 de Ives Antonio Corazza para Antonio Conde informando vencimento dos contratos de trabalho de docentes e solicitando providências. Campinas, 05 nov. 1981. Ass.: Ives Antonio Corazza. 2p. dat. cópia.

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

Artigo, em francês, de Andréa Loparic, intitulado Une étude sémantique de quelques calculs propositionnels. S.l., S.d. S.ass. 5p. dat. cópia.

Untitled
Curriculum vitae
BR SPCLEARQ AIA_Cv_10 · Item · s.d.
Part of Ayda Ignez Arruda

Curriculum vitae, em inglês, de Charles C. Pinter. S.l. S.d. S.ass. 3p. dat. cópia.

Untitled
Publicação
BR SPCLEARQ AIA_I_10 · Item · 1971-09
Part of Ayda Ignez Arruda

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Untitled