Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
- BR SPCLEARQ FAIA-PIm-A-IT361-IT361
- Item
Part of Ayda Ignez Arruda
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Part of 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.
Untitled
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.
Untitled
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.
Untitled
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.
Untitled
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
Part of Ayda Ignez Arruda
Curriculum vitae de AIA. Ass.: Ayda Ignez Arruda.
Untitled
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
Part of Ayda Ignez Arruda
Lista de publicações de Alfred Tarski
Part of Ayda Ignez Arruda
Lista de publicações de Alfred Tarski. S.l. S.d. S.ass. 4p. dat. cópia.
Untitled