Mostrando 654 resultados

Descrição arquivística
Convocação
BR SPCLEARQ AIA-AAdm-10 · Item · s.d.
Parte de Ayda Ignez Arruda

Convocação para reunião dos mebros da congregação do IMECC realizada no dia 03 de dezembro às 13 horas. Ass.: Gilberto Rodrigues de Queiroz, assistente técnico de direção.

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

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-PIm-A-10 · Item · s.d.
Parte de Ayda Ignez Arruda

Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.

Ayda Ignez Arruda
Carta convite
BR SPCLEARQ AIA-AA-10 · Item · 1982-11-25
Parte de Ayda Ignez Arruda

Carta de Roberto L. O. Cignoli, coordenador do IMECC, convidando AIA para a banca examinadora de defesa de tese de doutorado de Walter Alexandre Carnielli. Ass.: ( ___ ).

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA-AA-DCS-10 · Item · 1982-03-02
Parte de Ayda Ignez 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
Carta aberta
BR SPCLEARQ AIA-IU-CNM-10 · Item · s.d.
Parte de Ayda Ignez Arruda

Texto de Rubem Alves intitulado O Governo Federal e as Consultas às Bases para Escolha do Reitor da Unicamp.

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

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.

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

Comissão de negociações faz segredo. S.l.: s.n., 10 nov. [1981?]. Educação, p.14.

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

Carta de North Holland Pub. Co. para AIA comunicando o envio de crédito pela venda das publicações Non Classical Logics Model Theory & Computability e Proceedings of the IV Latin American Symposium on Mathematical Logic referente ao ano de 1982. Ass.: Einar Fredriksson

Ayda Ignez Arruda
Carta de solicitação
BR SPCLEARQ AIA-C-Cp-10 · Item · 1983-02-07
Parte de Ayda Ignez Arruda

Carta, em inglês, de Bonita Ross para AIA, comunicando o envio de publicação e solicitando endereço da Sociedade Brasileira de Lógica. S.l., 07 fev. 1983. Ass.: Bonita Ross. 1p. dat.

Ayda Ignez Arruda