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
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
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
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
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
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