- BR SPCLEARQ AIA-I-64
- Item
- 1975
Parte deAyda Ignez Arruda
DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Curriculum vitae, em francês, de Roland Fraissé. S.l., [1975]. S.ass. 2p. dat. cópia.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Ofício IMECC n. 24/75 de Ubiratan D’Ambrósio, diretor do IMECC, a Zeferino Vaz, reitor da Unicamp, solicitando a dispensa do professor Antonio Conde. Campinas, 17 fev. 1975. S.ass. 1p. dat. cópia.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
SIMPÓSIO de Lógica Matemática, 3-5 mar. 1975, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 73p.
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