Mostrando 303 resultados

Descrição arquivística
Publicação
BR SPCLEARQ AIA-PItm-1 · Item · [1974-1976]
Parte de Ayda Ignez Arruda

Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.

Ayda Ignez Arruda
Reportagem
BR SPCLEARQ AIA-H-1 · Item · [1981]-11-01
Parte de Ayda Ignez Arruda

A nota da comunidade. S.l.: s.n., 1 nov. [1981?]. 3. caderno, Educação, p.23.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA-AA-DCE-1 · Item · 1982-04
Parte de Ayda Ignez Arruda

Carta de Arjen Sevenster para AIA oferecendo cópias de livros e informando sobre condições de pagamentos. Ass.: Arjen Sevenster

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA-AA-DSLALM-1 · Item · 1975-05-23
Parte de Ayda 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
Carta de recomendação
BR SPCLEARQ AIA-C-Ct-1 · Item · 1976-05-18
Parte de Ayda Ignez Arruda

Carta, em inglês, de Angus Macintyre a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 18 maio 1976. Ass.: Angus Macintyre. 1p. dat. cópia.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA-AA-DCS-1 · Item · 1982-02-05
Parte de Ayda Ignez Arruda

Carta de Ruth Barcan Marcus, presidente do comitê organizador, para os integrantes da União Internacional de História e Filosofia da Ciência informando sobre o congresso a ser realizado em Salzburgo.

Ayda Ignez Arruda
Boletim
BR SPCLEARQ AIA-IU-CNM-1 · Item · 1981-10-21
Parte de Ayda Ignez Arruda

Boletim n.46 da Associação dos Professores da Pontifícia Universidade Católica de São Paulo (APROPUC) em apoio aos setores atingidos pela intervenção.

Ayda Ignez Arruda
Informe de apoio
BR SPCLEARQ AIA-PIm-SC-1 · Item · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo I: Os Cálculos Cn. S.l., S.d. S.ass. 18p. dat. cópia.

Ayda Ignez Arruda
Extrato bancário
BR SPCLEARQ AIA-AA-DASL-1 · Item · 1981-12-31
Parte de Ayda Ignez Arruda

Extrato de AIA da Association for Symbolic Logic contendo movimentação financeira.

Ayda Ignez Arruda
Apontamentos
BR SPCLEARQ AIA-PIm-V-1 · Item · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.

Ayda Ignez Arruda