Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
- BR SPCLEARQ FAIA-PIm-A-IT361-IT361
- Item
Part of Ayda Ignez Arruda
19 results with digital objects Show results with digital objects
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Part of Ayda Ignez Arruda
Part of 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
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.
Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
III Simpósio Latino-Americano de Lógica Matemática
Part of Ayda Ignez Arruda
VII International Congress of Logic, Methodology and Philosophy of Science
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Association for Symbolic Logic
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Regina Aparecida Munhoz Moreno
Part of Ayda Ignez Arruda
Carta de Newton Carneiro Affonso da Costa
Part of 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.
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Part of 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.
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Carta de AIA para Diderik Batens
Part of 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
Part of 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
Part of 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
Part of 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
Part of 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.
Part of Ayda Ignez Arruda
Memorial de Ayda Ignez Arruda
Une sémantique pour le calcul C1
Part of 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
Carta de W.W. Tait a Said Sidki
Part of Ayda Ignez Arruda
Carta, em inglês, de W.W. Tait a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 25 maio 1976. Ass.: W.W. Tait. 1p. dat. cópia.
Ayda Ignez Arruda