Affichage de 654 résultats

Description archivistique
Convocação
BR SPCLEARQ AIA_AAdm_10 · Pièce · s.d.
Fait partie 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.

Sans titre
Publicação
BR SPCLEARQ AIA_PIm_A_10 · Pièce · s.d.
Fait partie 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.

Sans titre
Informe de apoio
BR SPCLEARQ AIA_PIm_EL_10 · Pièce · s.d.
Fait partie de Ayda Ignez Arruda

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

Sans titre
Carta de informações
BR SPCLEARQ AIA_AA_DCS_10 · Pièce · 1982-03-02
Fait partie 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

Sans titre
Carta aberta
BR SPCLEARQ AIA_IU_CNM_10 · Pièce · s.d.
Fait partie de Ayda Ignez Arruda

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

Sans titre
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_10 · Pièce · s.d.
Fait partie de Ayda Ignez Arruda

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

Sans titre
Reportagem
BR SPCLEARQ AIA_H_10 · Pièce · [1981]-11-10
Fait partie de Ayda Ignez Arruda

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

Sans titre
Carta convite
BR SPCLEARQ AIA_AA_10 · Pièce · 1982-11-25
Fait partie 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.: ( ___ ).

Sans titre
Carta de informações
BR SPCLEARQ AIA_AA_DCE_10 · Pièce · 1983-04
Fait partie 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

Sans titre
Carta de solicitação
BR SPCLEARQ AIA_C_Cp_10 · Pièce · 1983-02-07
Fait partie 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.

Sans titre