- BR SPCLEARQ FAIA-Impr
- Série
Parte de Ayda Ignez Arruda
19 resultados com objetos digitais Exibir resultados com objetos digitais
Parte de Ayda Ignez Arruda
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Documento de identidade de AIA. Ass.: Ayda 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 de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
III Simpósio Latino-Americano de Lógica Matemática
Parte de Ayda Ignez Arruda
VII International Congress of Logic, Methodology and Philosophy of Science
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Association for Symbolic Logic
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Regina Aparecida Munhoz Moreno
Parte de Ayda Ignez Arruda
Carta de Newton Carneiro Affonso da Costa
Parte de Ayda Ignez Arruda
Carta de Newton C.A. da Costa para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório científico relativo ao projeto Teoria de Modelos e Aplicações, processo 77/0790.
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Termo de outorga e aceitação de auxílio Fapesp do projeto Aquisição de Separatas registrado como Processo n° 80/0978-5, concedido a AIA.
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Carta de AIA para Diderik Batens
Parte de Ayda Ignez Arruda
Carta, em inglês, de AIA ao Prof. Diderik Batens, comunicando o final do seu tratamento e que está se sentindo bem, e agradecendo a rapidez com que foi publicado o artigo. Campinas, 29 nov. 1982. S.ass.1p. dat. cópia.
Ayda Ignez Arruda
Carta de AIA para Diderik Batens
Parte de Ayda Ignez Arruda
Carta, em inglês, de AIA a Diderik Batens, agradecendo sua carta e dizendo estar bem confiante com o tratamento e que espera em breve retornar a fazer pesquisas. Campinas, 06 out. 1982. S.ass. 1p. dat. cópia.
Ayda Ignez Arruda
Carta de AIA para Diderik Batens
Parte de Ayda Ignez Arruda
Carta, em inglês, de AIA a Diderik Batens, comunicando a finalização do paper (enviado em outro envelope), informando que recebeu proposta da Reidel para publicar seu livro e que planeja ir a Salzburgo
Carta de AIA para Diderik Batens
Parte de Ayda Ignez Arruda
Carta, em inglês, de AIA a Diderik Batens, acusando recebimento de sua carta e da segunda versão de seu paper, dizendo ter alguns comentários sobre ele, e informando seu retorno à direção do IMECC.
Carta de AIA para Diderik Batens
Parte de Ayda Ignez Arruda
Carta, em inglês, de AIA a Diderik Batens informando o envio do primeiro rascunho de seu paper, que seu trabalho com Newton da Costa está pronto e que a crise na Unicamp ainda não foi solucionada.
Parte de Ayda Ignez Arruda
Memorial de Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.
Ayda Ignez Arruda