Mostrando 654 resultados

Descrição arquivística
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_1 · Item · s.d.
Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_PIm_EL_1 · Item · s.d.
Parte de 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.

Ayda Ignez Arruda
Curriculum vitae
BR SPCLEARQ AIA_Cv_1 · Item · s.d.
Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda
Relatório científico
BR SPCLEARQ AIA_AA_Fapesp_DJK_10 · Item · 1979-12-03
Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA_C_Ca_10 · Item · 1983-06-21
Parte de 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.

Ayda Ignez Arruda
Ofício
BR SPCLEARQ AIA_C_Ct_10 · Item · 1981-11-05
Parte de 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.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_PItm_10 · Item · s.d.
Parte de 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.

Ayda Ignez Arruda
Curriculum vitae
BR SPCLEARQ AIA_Cv_10 · Item · s.d.
Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_10 · Item · 1971-09
Parte de 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.

Ayda Ignez Arruda
Relatório e prestação de contas
BR SPCLEARQ AIA_AA_DSLALM_10 · Item · 1976-08-09
Parte de Ayda Ignez Arruda

Relatório e prestação de contas do III Simpósio Latino-Americano de Lógica Matemática.

Ayda Ignez Arruda