Information object browse - Historical Archives - Centre for Logic, Epistemology and History of Science

BR SPCLEARQ FAIA-C-Ca-IT205
Item
1982-03-16

Carta, em inglês, de AIA ao professor Xavier Caicedo, informando preços e locais para estadia em Campinas e solicitando esclarecimentos quanto ao seu nome oficial. S.l., 16 mar. 1982. S.ass. 1p. dat. cópia.

Untitled

Capítulo II: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT398
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.

Untitled

Capítulo II - Teoria de conjuntos An

BR SPCLEARQ FAIA-PIm-EL-IT411
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.

Untitled

Capítulo I: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT397
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.

Untitled

Capítulo I - Introdução aos Conceitos Fundamentais

BR SPCLEARQ FAIA-PIm-EL-IT410
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo I - Introdução aos Conceitos Fundamentais, tratando sobre lógica e sistemas formais. S.l., S.d. S.ass. 10p. ms., dat.

Untitled

Campinas, bicentenário é turismo

BR SPCLEARQ FAIA-Impr-IT555
Item
1974

Part of Ayda Ignez Arruda

PREFEITURA MUNICIPAL DE CAMPINAS. Campinas, bicentenário é turismo. Departamento de Turismo: Campinas, 1974. 24p.

Untitled

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Item
1964

Part of Ayda Ignez Arruda

COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.

Untitled

Cálculos Implicativos Gerais

BR SPCLEARQ FAIA-PIm-EL-IT409
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

Untitled

Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT396
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

Untitled

Cálculo de predicados de ordem superior

BR SPCLEARQ FAIA-PIm-CP-IT395
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.

Untitled

Caderno de AIA

BR SPCLEARQ FAIA-AA-DD-IT123
Item
1973-10-07

Part of Ayda Ignez Arruda

Caderno de AIA contendo anotações sobre história da matemática e da lógica e planos de aulas.

Untitled

Caderno contendo anotações sobre lógicas relevante

BR SPCLEARQ FAIA-PIm-EL-IT434
Item
1976-09-16 - 1976-10-07

Part of Ayda Ignez Arruda

Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.

Untitled

Boolean Powers in algebric logic

BR SPCLEARQ FAIA-Impr-IT527
Item
1971

Part of Ayda Ignez Arruda

DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.

Untitled

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT513
Item
1981-11-16

Part of Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.200, 16 nov. 1981.

Untitled

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT514
Item
1981-11-23

Part of Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.201, 23 nov. 1981.

Untitled

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT516
Item
1981-12-21

Part of Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.205, 21 dez. 1981.

Untitled

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT517
Item
1981-12-27

Part of Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, 27 dez. 1981.

Untitled

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT512
Item
1981-11-09

Part of Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.199, 09 nov. 1981.

Untitled

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT511
Item
1981-11-02

Part of Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.198, 02 nov. 1981.

Untitled

Boletim Informativo

BR SPCLEARQ FAIA-Impr-IT515
Item
1981-12-12

Part of Ayda Ignez Arruda

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.204, 14 dez. 1981.

Untitled

Boletim 46 APROPUC

BR SPCLEARQ FAIA-IU-CNM-IT164
Item
1981-10-21

Part of 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.

Untitled

Ato do reitor

BR SPCLEARQ FAIA-IU-AR-IT158
Item
1981-10-16

Part of Ayda Ignez Arruda

Ato do reitor, exonerando oito diretores de institutos de seus cargos, dentre eles, AIA, diretora do IMECC. Ass.: Plínio Alves de Moraes, reitor da Unicamp.

Untitled

Atas da eleição para composição da lista tríplic

BR SPCLEARQ FAIA-AAdm-A-IT146
Item
1979-12-13

Part of Ayda Ignez Arruda

Atas da eleição para composição da lista tríplice para o cargo de diretor do IMECC, e da 23ª, 24ª e 25ª reunião da congregação do IMECC

Untitled

Ata da reunião extraordinária da congregação do IMECC

BR SPCLEARQ FAIA-AAdm-A-IT145
Item
1978-04-10

Part of Ayda Ignez Arruda

Ata da primeira sessão extraordinária do Conselho Diretor da Unicamp, tratando da elaboração da lista de candidatos a futuro reitor e informando sobre os procedimentos do processo eleitoral.

Untitled

Ata da reunião extraordinária da congregação do IMECC

BR SPCLEARQ FAIA-AAdm-A-IT151
Item
1981-10-22

Part of Ayda Ignez Arruda

Ata da reunião extraordinária da congregação do IMECC, tratando da exoneração de 8 diretores de unidades e da crise administrativa na Unicamp.

Untitled

Ata da reunião extraordinária da congregação do IMECC

BR SPCLEARQ FAIA-AAdm-A-IT148
Item
1981-05-14

Part of Ayda Ignez Arruda

Ata da reunião extraordinária da congregação do IMECC, tratando do problema da transferência do professor Tomasz Kowaltowski da Universidade de São Paulo para a Unicamp.

Untitled

Ata da reunião extraordinária da congregação do IMECC

BR SPCLEARQ FAIA-AAdm-A-IT152
Item
1981-10-29

Part of Ayda Ignez Arruda

Ata da reunião extraordinária da congregação do IMECC, tratando da nomeação de interventores na Unicamp e convocando assembléias permanentes para discutir este assunto.

Untitled

Ata da 40a reunião da congregação do IMECC

BR SPCLEARQ FAIA-AAdm-A-IT150
Item
1981-10-08

Part of Ayda Ignez Arruda

Ata da 40a reunião da congregação do IMECC, discutindo propostas de remodelação da Unicamp, processos de convalidação de créditos, reformulações na ata anterior e outros assuntos.

Untitled

Ata da 39ª reunião da congregação do IMECC

BR SPCLEARQ FAIA-AAdm-A-IT149
Item
1981-09-03

Part of Ayda Ignez Arruda

Ata da 39ª reunião da congregação do IMECC, tratando da indicação de membros do IMECC para Estudo de Problemas Brasileiros, processos de doutorado e mestrado, e outros assuntos.

Untitled

Ata da 24ª reunião extraordinária

BR SPCLEARQ FAIA-AAdm-A-IT147
Item
1980-03-04

Part of Ayda Ignez Arruda

Ata da 24ª reunião extraordinária da congregação do IMECC, tratando da eleição para diretor do instituto e ainda do projeto Financiadora de Estudos e Projetos (FINEP).

Untitled

Narrow your results by:

Language

Creator

Name

Place

Subject

Level of description

Media type

Showing 599 results