Print preview Close

Showing 654 results

Archival description
Convocação
BR SPCLEARQ AIA_AAdm_10 · Item · s.d.
Part of 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.

Untitled
Publicação
BR SPCLEARQ AIA_PIm_A_10 · Item · s.d.
Part of 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.

Untitled
Informe de apoio
BR SPCLEARQ AIA_PIm_EL_10 · Item · s.d.
Part of Ayda Ignez Arruda

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

Untitled
Carta de informações
BR SPCLEARQ AIA_AA_DCS_10 · Item · 1982-03-02
Part of 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

Untitled
Carta aberta
BR SPCLEARQ AIA_IU_CNM_10 · Item · s.d.
Part of Ayda Ignez Arruda

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

Untitled
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_10 · Item · s.d.
Part of Ayda Ignez Arruda

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

Untitled
Reportagem
BR SPCLEARQ AIA_H_10 · Item · [1981]-11-10
Part of Ayda Ignez Arruda

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

Untitled
Carta convite
BR SPCLEARQ AIA_AA_10 · Item · 1982-11-25
Part of 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.: ( ___ ).

Untitled
Carta de informações
BR SPCLEARQ AIA_AA_DCE_10 · Item · 1983-04
Part of 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

Untitled
Carta de solicitação
BR SPCLEARQ AIA_C_Cp_10 · Item · 1983-02-07
Part of 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.

Untitled