- BR SPCLEARQ AIA-I-98
- Item
- 1975-03-03
Parte deAyda Ignez Arruda
SIMPÓSIO de Lógica Matemática, 3-5 mar. 1975, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 73p.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
SIMPÓSIO de Lógica Matemática, 3-5 mar. 1975, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 73p.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Ofício GR-581/75 de Zeferino Vaz, reitor da Unicamp, para Rolando Chuaqui, presidente do comitê latino-americano da Association for Symbolic Logic, informando que aceita o convite para que o III Simpósio Latino-Americano de Lógica seja realizado na Unicamp e que a profesora AIA foi designada para coordenar todas as atividades relativas ao simpósio. Ass.: Zeferino Vaz
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta de José Norberto W. Dachs, coordenador da CPG-IMECC, a Ubiratan DAmbrósio, diretor do IMECC, solicitando reconhecimento de diplomas estrangeiros. Campinas, 16 maio 1976. Ass.: Carlos Segovia. 1p. dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
SIMPÓSIO Latino-Americano de Lógica Matemática, 3, 10-17 jul. 1976, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 66p.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
SIMPÓSIO Latino-Americano de Lógica Matemática, 3, 11-17 jul. 1976, Campinas. Programa. Campinas: Unicamp, 8p.
Ayda Ignez Arruda
Relatório e prestação de contas
Parte deAyda Ignez Arruda
Relatório e prestação de contas do III Simpósio Latino-Americano de Lógica Matemática.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta de Ubiratan D’Ambrósio, diretor do IMECC, a H. Roher, convidando-o para participar de banca examinadora do exame de qualificação do doutorado de Lilian Torng Sheng. Campinas, 23 nov. 1976. Ass.: ( ___ ). 1p. dat. cópia.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Plano de Pesquisas 1977/1979 de AIA tendo como tema "Lógica Matemática". Ass.: Ayda Ignez Arruda.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Minuta de portaria do Diretor do IMECC, Ubiratan D?Ambrósio, constituindo comissão de graduação do IMECC e dando conta de suas atribuições
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Some remarks on Griss Logic of Negationless Intuitionistic Mathematics. Campinas: Unicamp, ago. 1977. 21 p. (Relatório Interno nº 58, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)
Ayda Ignez Arruda