Visualizar impressão Fechar

Mostrando 269 resultados

Descrição arquivística
Ayda Ignez Arruda
Visualizar impressão Visualizar:

7 resultados com objetos digitais Exibir resultados com objetos digitais

Carta de Steve Giambrone para AIA

Carta, em inglês, de Steve Giambrone para AIA, solicitando bibliografia da versão do livro A Survey of Paraconsistent Logic. Austrália, 08 jan. - . Ass.: Steve Giambrone. 1p. dat.

Ayda Ignez Arruda

Carta de Luiz Paulo de Alcântara para AIA

Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.

Ayda Ignez Arruda

Cálculo Proposicional

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

Ayda Ignez Arruda

A teoria de primeira ordem v

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Cálculos Implicativos Gerais

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

Ayda Ignez Arruda

Linguagem de Primeira Ordem

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Ayda Ignez Arruda

O sistema A de Ackermann

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Sobre o Sistema G1 de Gentzen

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

Ayda Ignez Arruda

Transformadas no Cálculo Restrito de Predicados

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

Ayda Ignez Arruda

Fotografia

Mesa de [abertura/palestrantes] com ?, Newton Carneiro Affonso da Costa, ?, Ubiratan D'Ambrósio, ?, Ayda Ignez Arruda e platéia

Fotografia

Participantes do Evento, dentre eles Luís Paulo de Alcântara com cachimbo, Ayda Ignez Arruda, Itala Maria Loffredo D'Ottaviano, Newton Carneiro Affonso da Costa

Aerograma de Ken para AIA

Aerograma, em espanhol, de Ken para AIA, informando sobre o seu estado de saúde. Annapolis, 25 dez. 1982. Ass.: Ken. 1p. ms.

Ayda Ignez Arruda

Carta de Marek Palasinski para AIA

Carta, em inglês, de Marek Palasinski para AIA, comunicando dificuldades políticas na Polônia e remetendo endereço e nome de acompanhante de viagem para AIA. Cracóvia, 03 fev. 1982. Ass.: Marek. 1p. ms.

Ayda Ignez Arruda

Carta de Maria da Graça Rodrigues

Carta de Maria da Graça Rodrigues, coordenadora do Seminário Castelan, para AIA, comunicando a da data da palestra de AIA. Departamento de Matemática da Universidade Federal de Santa Catarina, [198-]. Ass.: M. Rodrigues. 1p. dat.

Ayda Ignez Arruda

Carta de Oswaldo Porchat Pereira para AIA

Carta de Oswaldo Porchat Pereira para AIA, falando-lhe sobre sua estada em Londres e perguntando sobre as atividades de AIA. Londres, 03 jul. 1983. Ass.: Porchat. 1p. dat.

Ayda Ignez Arruda

Carta de Paolo Bottura para AIA

Carta, em inglês, de Paolo Bottura para AIA, informando sobre trabalho científico e solicitando cópia de artigos. Montalto Dora, 05 maio 1982. Ass.: Paolo Bottura. 1p. dat.

Ayda Ignez Arruda

Carta de Paolo Bottura para AIA

Carta, em inglês, de Paolo Bottura para AIA, expondo questões sobre um artigo de Ayda. Montalto Dora, 12 mar. 1982. Ass.: Paolo Bottura. 2p. dat.

Ayda Ignez Arruda

Aplicação de Matrizes

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Introdução: 3 – Matrizes

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.

Ayda Ignez Arruda

Matrizes

Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Artigo cálculos proposicionais

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.

Ayda Ignez Arruda

Exibindo 61-90 de 269 resultados