- BR SPCLEARQ AIA-I-15
- Item
- 1975-05-21
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Remarques sur les systèmes Cn. C.R. Acad. Sc. Paris, t.280, p. 1253-1256, 21 maio 1975
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Remarques sur les systèmes Cn. C.R. Acad. Sc. Paris, t.280, p. 1253-1256, 21 maio 1975
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
Curriculum vitae, em inglês de Jerzy Kotas. Torún, 24 nov. 1975. Ass.: J. Kotas. 2p. dat. cópia
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.
Ayda Ignez Arruda