Showing 1 results

Archival description
Ayda Ignez Arruda
Print preview
Card view Table view
22 results with digital objects Show results with digital objects
Carta de J.C. Kuipers para AIA
BR SPCLEARQ FAIA-C-Cp-IT285 · Item · 1983-11-16
Part of Ayda Ignez Arruda
Carta, em inglês, de J.C. Kuipers para AIA, indagando seu interesse em publicar o livro ?A Survey of Paraconsistent Logic? e solicitando que ela escreva diretamente ao professor Hintikka. Dordrecht, 16 nov. 1983. Ass.: J.C. Kuipers. 1p. dat. Untitled
Carta de J.C. Kuipers para AIA
BR SPCLEARQ FAIA-C-Cp-IT286 · Item · 1983-11-22
Part of Ayda Ignez Arruda
Carta, em inglês, de J.C. Kuipers para AIA, solicitando maiores informações sobre o livro ?The Logical Views of N. A. Vasil?ev?. Dordrecht, 22 nov. 1983. Ass.: J.C. Kuipers. 1p. dat. Untitled
Carta de Jaime Bohorquez para AIA
BR SPCLEARQ FAIA-C-Cp-IT289 · Item · 1982-09-12
Part of Ayda Ignez Arruda
Carta, em inglês, de Jaime Bohorquez para AIA, informando seu novo endereço, a obtenção do grau de doutor e reafirmando seu interesse em trabalhar em Campinas. Bogotá, 12 set. 1982. Ass.: Jaime Bohorquez. 1p. dat. Untitled
Carta de Kazem Sadegh-Zadeh para AIA
BR SPCLEARQ FAIA-C-Cp-IT294 · Item · 1982-02-15
Part of Ayda Ignez Arruda
Carta, em inglês, de Kazem Sadegh-Zadeh para AIA, comunicando seu contentamento em tê-la recebido em Tecklenburg e informando sobre trabalhos em lógica. [Münster], 15 fev. 1982. Ass.: K. Sadegh-Zadeh. 1p. ms. Untitled
Cartão postal de Leopoldo Nachbin
BR SPCLEARQ FAIA-C-Cp-IT304 · Item
Part of Ayda Ignez Arruda
Cartão postal de Leopoldo Nachbin e demais participantes da reunião de Análise Funcional para AIA, desejando votos de breve retorno à direção do IMECC. Rio de Janeiro, S.d. Ass.: Leopoldo Nachbin; Mário Matos; Guido Zapata e outros. 1p. ms. Untitled
Carta de Richard Routley para AIA
BR SPCLEARQ FAIA-C-Cp-IT325 · Item
Part of Ayda Ignez Arruda
Carta, em inglês, de Richard Routley para AIA, comunicando sobre desenvolvimento de trabalhos científicos. Austrália, 26 abr. - . Ass.: Richard. 1p. ms. Untitled
Cartão de Natal de Sanka para AIA
BR SPCLEARQ FAIA-C-Cp-IT328 · Item
Part of Ayda Ignez Arruda
Cartão de Natal, em português e inglês, de Sanka para AIA, agradecendo auxílio recebido para o desenvolvimento de sua pesquisa e desejando boas festas. S.l., S.d. Ass.: Sanka. 1p. ms. Untitled
Artigo cálculos proposicionais
BR SPCLEARQ FAIA-PIm-EL-IT406 · Item
Part of Ayda Ignez Arruda
Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia. Untitled
Sistema DL
BR SPCLEARQ FAIA-PIm-EL-IT420 · Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms. Untitled
Une sémantique pour le calcul C1
BR SPCLEARQ FAIA-PItm-IT441 · Item · [1974-1976]
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. Untitled