- BR SPCLEARQ FAIA-F-IT02
- Item
- 1981
Parte deAyda Ignez Arruda
19 resultados com objetos digitais Mostrar os resultados com objetos digitais
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Paraconsistent extensional propositional logics
Parte deAyda Ignez Arruda
BATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980.
Ayda Ignez Arruda
Caderno contendo anotações sobre lógicas relevante
Parte deAyda 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.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Parte deAyda 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.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
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.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Certificado, confirmando a participação de AIA no VI Encontro Brasileiro de Lógica. Ass.: Tarcísio Pequeno, coordenador.
Parte deAyda Ignez Arruda
Relatório de viagem de AIA, descrevendo suas atividades na Europa no período de novembro de 1969 a maio de 1970.
Parte deAyda Ignez Arruda
Relatório de Atividades de AIA referente ao ano de 1969. Ass.: Ayda Ignez Arruda
Parte deAyda 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.
Parte deAyda 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.( ___ ).
Parte deAyda 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.
Parte deAyda 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.
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Carta para Ruy Carlos de Camargo Vieira
Parte deAyda 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.
Carta de AIA para Ruy Carlos de Camargo Vieira
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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
Parte deAyda Ignez Arruda
Relatório científico de AIA relativo à visita do professor Jerzy Kotas.
Parte deAyda 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.
Parte deAyda 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
Parte deAyda Ignez Arruda
Formulário de pedido de auxílio
Parte deAyda 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
Parte deAyda Ignez Arruda
Carta de AIA para William Saad Hossne
Parte deAyda Ignez Arruda
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório referente à bolsa de mestrado de Regina Aparecida Munhoz Moreno. Ass.: Ayda Ignez Arruda.