Mostrando 678 resultados

Descrição arquivística
Ayda Ignez Arruda
Opções de pesquisa avançada
Visualizar impressão Visualizar:

Carta de informações

Carta de Joseph R. Schoenfield, presidente da Association for Symbolic Logic, para Zeferino Vaz, reitor da Unicamp, informando que o professor Rolando Chuaqui vem discutindo a possibilidade de organizar um colóquio em lógica matemática e que a Association for Symbolic Logic tem interesse em co-patriocinar o evento. Ass.: Joseph R. Schoenfield.

Ayda Ignez Arruda

Publicação

ARRUDA, Ayda I. Le schéma de la séparation dans les systèmes NFn. C.R. Acad. Sc. Paris, t.280, p. 1341-1341, 26 maio 1975.

Ayda Ignez Arruda

Carta de informações

Carta de Rolando Chuaqui, presidente do comitê latino-americano da Association for Symbolic Logic, para Zeferino Vaz, reitor da Unicamp, informando que o comitê latino-americano da Association for Symbolic Logic se sentiria muito honrado pela hospitalidade da Unicamp para a realização do 3° Simpósio Latino-americano de Lógica em Julho de 1976. Ass.: Rolando Chuaqui

Ayda Ignez Arruda

Ofício

Ofício GR-581/75 de Zeferino Vaz, reitor da Unicamp, para Rolando Chuaqui, presidente do comitê latino-americano da Association for Symbolic Logic, informando que aceita o convite para que o III Simpósio Latino-Americano de Lógica seja realizado na Unicamp e que a profesora AIA foi designada para coordenar todas as atividades relativas ao simpósio. Ass.: Zeferino Vaz

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.

Ayda Ignez Arruda

Circular

Circular da Association for Symbolic Logic contendo a lista de eventos a serem realizados, incluindo o III Simpósio Latino-Americano de Lógica Matemática.

Ayda Ignez Arruda

Curriculum vitae

Curriculum vitae, em inglês de Jerzy Kotas. Torún, 24 nov. 1975. Ass.: J. Kotas. 2p. dat. cópia

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de Andréa Loparic, contendo exercícios, lemas, teoremas e corolários. S.l., 13 dez. 1975. Ass.: A. Loparic. 4p. ms. cópia.

Ayda Ignez Arruda

Publicação

SAELI, Donato. Problemi di decisione per algebre comesse a logiche a più valori. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur., v. 59, p. 219-223, 1975.

Ayda Ignez Arruda

Resultados 61 até 70 de 678