- BR SPCLEARQ FAIA
- Fonds
- 1932 - 2006-01-25
O fundo é constituído de documentos pessoais, administrativos e relacionados a crise de 1981 na Unicamp; correspondência; produção acadêmica e científica; artigos; recortes de jornais e fotografias.
Untitled
19 results with digital objects Show results with digital objects
O fundo é constituído de documentos pessoais, administrativos e relacionados a crise de 1981 na Unicamp; correspondência; produção acadêmica e científica; artigos; recortes de jornais e fotografias.
Untitled
Part of Ayda Ignez Arruda
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.
Untitled
Part of Ayda Ignez Arruda
Caderno contendo anotações sobre lógicas relevante
Part of Ayda Ignez Arruda
Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.
Untitled
Paraconsistent extensional propositional logics
Part of Ayda Ignez Arruda
BATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980.
Untitled
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Certificado, confirmando a participação de AIA no VI Encontro Brasileiro de Lógica. Ass.: Tarcísio Pequeno, coordenador.
Part of Ayda Ignez Arruda
Relatório de viagem de AIA, descrevendo suas atividades na Europa no período de novembro de 1969 a maio de 1970.
Part of Ayda Ignez Arruda
Relatório de Atividades de AIA referente ao ano de 1969. Ass.: Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Declaração publicada em Diário Oficial do Estado, dando conta do afastamento de AIA junto ao Departamento de Matemática do IMECC a fim de atender convite da Universidade de Varsóvia, Polônia.
Part of Ayda Ignez Arruda
Carta de Antonio Mário Sette, diretor associado, convidando AIA para a banca examinadora de defesa de doutorado de Ítala Maria Loffredo D'Ottaviano. Ass.( ___ ).
Part of Ayda Ignez Arruda
Ofício 46/83 de José Aristodemo Pinotti, reitor da Unicamp, avisando da indicação de AIA para integração da banca julgadora do concurso de Professor Adjunto do IQ-Unicamp. Ass.: José Aristodemo Pinotti.
Part of Ayda Ignez Arruda
Apresentação das atividades informando as atividades a serem desenvolvidas pela professora Cecylia Rauszer os benefícios às comunidades científicas do país.
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Carta para Ruy Carlos de Camargo Vieira
Part of Ayda Ignez Arruda
Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando o pagamento de separatas de artigos publicados por ela e por Newton da Costa nas Atas do IV Simpósio Latino-Americano de Lógica Matemática.
Part of Ayda Ignez Arruda
Carta de AIA para Ruy Carlos de Camargo Vieira
Part of Ayda Ignez Arruda
Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, encaminhando a prestação de contas relativa ao processo 82/1543-8.
Carta de Ruy Carlos de Camargo Vieira
Part of Ayda Ignez Arruda
Carta de Ruy Carlos de Camargo Vieira, diretor da Fapesp, para AIA acusando o recebimento do relatório relativo ao processo 82/1543-8 e declarando a aprovação do mesmo. Ass.: Ruy Carlos de Camargo Vieira
Part of Ayda Ignez Arruda
Título de quitação do processo 81/543-8. Ass.: Rubens Guedes Jordão, diretor administrativo da Fapesp.
Carta de Roberto L. O. Cignoli a William S. Hossne
Part of Ayda Ignez Arruda
Carta de Roberto L. O. Cignoli a William Saad Hossne, diretor científico da Fapesp, enviando cópias das passagens aéreas do professor Jerzy Kotas e solicitando que o valor correspondente às passagens seja creditado em conta bancária do Banespa. Ass.: Roberto L. O. Cignoli
Part of Ayda Ignez Arruda
Relatório científico de AIA relativo à visita do professor Jerzy Kotas.
Part of Ayda Ignez Arruda
Adendo ao processo 78/0232 aprovando a utilização de saldo de dezenove mil e quinhentos cruzeiros no pagamento de mais de um mês de manutenção do professor Leslaw Szczerba.
Part of Ayda Ignez Arruda
Carta de William Saad Hossne, diretor científico da Fapesp, a AIA declarando o recebimento do relatório relativo ao processo 78/0232 e que o mesmo fora aprovado. Ass.: William Saad Hossne
Part of Ayda Ignez Arruda
Formulário de pedido de auxílio
Part of Ayda Ignez Arruda
Formulário de pedido de auxílios Fapesp preenchido por Newton da Costa para projeto de pesquisa intitulado Teoria dos Modelos e Aplicações a ser desenvolvido na Unicamp, Usp e Universidade Católica do Chile.
Regina Aparecida Munhoz Moreno
Part of Ayda Ignez Arruda