Mostrando 261 resultados

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

2 resultados com objetos digitais Mostrar os resultados com objetos digitais

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

Termo de outorga

Termo de outorga e aceitação de auxílio Fapesp do projeto VI Encontro Brasileiro de Lógica, registrado como Processo 2/1543-8, concedido a AIA. Ass.: Ayda Ignez Arruda

Carta de AIA para Ruy Carlos de Camargo Vieira

Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando auxílio para participar de congressos na Áustria e em Caracas. Ass.: Ayda Ignez Arruda.

Carta de AIA para Ruy Carlos de Camargo Vieira

Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, retificando pedido de auxílio n° 83/038.8-1 para participar somente do congresso em Caracas. Ass.: Ayda Ignez Arruda

Carta de AIA para Ruy Carlos de Camargo Vieira

Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando o cancelamento do auxílio n° 83/038.8-1 para participar do congresso em Caracas.

Carta de AIA para William Saad Hossne

Carta de AIA para William Saad Hossne, diretor científico da Fapesp, solicitando auxílio para o pagamento das passagens aéreas Varsóvia - São Paulo – Varsóvia de Leslaw Szczerba, professor visitante no IMECC durante junho e julho de 1978. Ass.: Ayda Ignez Arruda

Recibo de Luiz Paulo de Alcântara

Recibo de Luiz Paulo de Alcântara declarando ter recebido de AIA doze mil cruzeiros referentes ao auxilio viagem para estadia na Universidade Católica do Chile durante os meses dez. 1977 e jan. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Luiz Paulo de Alcântara

Recibo de Elias Humberto Alves

Recibo de Elias Humberto Alves declarando ter recebido de AIA doze mil cruzeiros referentes ao auxilio viagem para estadia na Universidade Católica do Chile durante os meses dez. 1977 e jan. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Elias Humberto Alves

Recibo de Rolando Chuaqui

Recibo de Rolando Chuaqui declarando ter recebido de AIA seis mil cruzeiros referentes ao auxilio viagem para estadia na Unicamp durante o mês de mar. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Rolando Chuaqui

Carta de Paul Weingartner

Carta de Paul Weingartner, presidente do comitê organizador local, para AIA solicitando o envio do artigo a ser apresentado no congresso e comunicando a impossibilidade de auxílio financeiro para a viagem. Ass.: Paul Weingartner

Ayda Ignez Arruda

Carta de Ayda Ignez de Arruda

Carta de AIA para Ruth Barcan Marcus dizendo que pretende aceitar o convite para participar do Congresso, em Salzburgo, que está preparando um artigo sobre História da Lógica para o evento e solicitando o envio de um convite oficial para obter auxílio financeiro

Ayda Ignez Arruda

Telex de AIA

Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda

Ayda Ignez Arruda

Carta de Ayda Ignez de Arruda

Carta de AIA para Paul Weingartner comunicando o envio da inscrição para o Congresso, sua reserva de hotel e pedindo informações sobre o pagamento de suas despesas.

Ayda Ignez Arruda

Carta de Ayda Ignez de Arruda

Carta de Aia para Paul Weingartner reafirmando que não participará do Congresso e solicitando o cancelamento de sua reserva no hotel.

Ayda Ignez Arruda

Ofício C.V.47/00117

Ofício C.V.47/00117 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Matemática Licenciatura na Unicamp em 1982. Ass.: Setembrino Petri.

Ayda Ignez Arruda

Ofício GR 870/83

Ofício GR. 870/83 de José Aristodemo Pinotti para AIA solicitando que reconsidere o seu pedido de demissão do cargo de Suplente da Comissão de Orçamento e Patrimônio. Ass.: José Aristodemo Pinotti.

Ayda Ignez Arruda

Resultados 61 até 90 de 261