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

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

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

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

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

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

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

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

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

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

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

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

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á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

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

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

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

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 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 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

Carta de AIA a Francisco Xavier Caicedo

BR SPCLEARQ FAIA-C-Ca-IT204
Item
1982-03-04

Part of Ayda Ignez Arruda

Carta, em inglês, de AIA a Francisco Xavier Caicedo, agradecendo correspondência anterior e informando os custos para a publicação de um trabalho no Brasil. S.l., 04 mar. 1982. S.ass. 1p. dat. cópia.

Untitled

Carta de AIA a Francisco Xavier Caicedo

BR SPCLEARQ FAIA-C-Ca-IT206
Item
1982-05-18

Part of Ayda Ignez Arruda

Telex, em inglês, de AIA a Francisco Xavier Caicedo, solicitando informações sobre sua chegada ao Brasil. IMECC, 18 maio 1982. S.ass. 1p. dat.

Untitled

Carta de AIA a Francisco Xavier Caicedo

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

Part of Ayda Ignez Arruda

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

Carta de AIA a Graham Priest

BR SPCLEARQ FAIA-C-Ca-IT208
Item
1983-01-19

Part of Ayda Ignez Arruda

Telex, em inglês, de AIA a Graham Priest, autorizando a publicação de seu artigo. IMECC, 19 jan. 1983. S.ass. 1p. dat.

Untitled

Carta de AIA a Graham Priest

BR SPCLEARQ FAIA-C-Ca-IT207
Item
1983-01-18

Part of Ayda Ignez Arruda

Carta, em inglês, de AIA a Graham Priest, agradecendo os votos de boa saúde e aprovando as correções feitas em seu artigo. Campinas, 18 jan. 1983. S.ass. 1p. dat. cópia.

Untitled

Narrow your results by:

Language

Creator

Name

Place

Subject

Level of description

Media type

Showing 599 results