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

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

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

Diário Oficial do Estado de São Paulo

BR SPCLEARQ FAIA-IU-AR-IT159
Item
1981-10-17

Part of Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo, contendo portaria do reitor, demitindo 14 funcionários da Unicamp, dispensando oito diretores de Institutos de seus cargos e nomeando os substitutos.

Untitled

Diário Oficial do Estado de São Paulo

BR SPCLEARQ FAIA-IU-AR-IT160
Item
1981-10-17

Part of Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo, descrevendo os atos do reitor da Unicamp, designando Frederico Pimentel Gomes como diretor do IMECC.

Untitled

Diário Oficial do Estado de São Paulo

BR SPCLEARQ FAIA-IU-AR-IT161
Item
[1981-10-24]

Part of Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo, contendo portaria do reitor, tornando sem efeito a nomeação de alguns diretores de institutos e designando novos diretores para outros.

Untitled

Diário Oficial do Estado de São Paulo

BR SPCLEARQ FAIA-IU-AR-IT162
Item
1981-11-27

Part of Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo, contendo portaria do reitor, cessando os efeitos da nomeação de alguns diretores

Untitled

Diário Oficial do Estado de São Paulo

BR SPCLEARQ FAIA-IU-AR-IT163
Item
1982-01-30

Part of Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo, contendo despachos do reitor da Unicamp, indeferindo as solicitações de fruição da licença-prêmio de alguns funcionários

Untitled

Correspondência, Notícias e Manifestos

BR SPCLEARQ FAIA-IU-CNM
Subseries

Part of Ayda Ignez Arruda

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

Comunicado do gabinete do reitor da Unicamp

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

Part of Ayda Ignez Arruda

Comunicado do gabinete do reitor da Unicamp, esclarecendo alguns fatos relativos aos atos do reitor. Cidade Universitária "Zeferino Vaz

Untitled

Trecho de reportagem O Diário de Piracicaba

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

Part of Ayda Ignez Arruda

Trecho de reportagem contida em O Diário de Piracicaba, contendo comunicado da reitoria da Unicamp esclarecendo e justificando os atos do reitor. Cidade Universitária "Zeferino Vaz

Untitled

Reportagem da Revista Istoé Universidade Burra

BR SPCLEARQ FAIA-IU-CNM-IT171
Item
1981-11-11

Part of Ayda Ignez Arruda

Reportagem da revista Istoé intitulada Universidade burra, escrita por Roberto de Pompeu Toledo, a respeito dos atos do reitor da Unicamp.

Untitled

O Governo Federal e as Consultas às Bases para Escolha do Reitor da Unicamp

BR SPCLEARQ FAIA-IU-CNM-IT173
Item

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

Diário Oficial do Estado de São Paulo

BR SPCLEARQ FAIA-IU-IT153
Item
20 out. 1981

Part of Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo contendo o processo 1932/81.

Untitled

Normas da eleição para colégio eleitoral do IMECC

BR SPCLEARQ FAIA-IU-IT154
Item

Part of Ayda Ignez Arruda

Documento contendo normas da eleição para colégio eleitoral do IMECC.

Untitled

Rascunho de AIA

BR SPCLEARQ FAIA-IU-IT156
Item

Part of Ayda Ignez Arruda

Rascunho de AIA contendo uma lista de dúvidas e observações relacionadas ao processo de intervenção na Unicamp.

Untitled

Impressos

BR SPCLEARQ FAIA-Impr
Series

Part of Ayda Ignez Arruda

A Evolução do Método Axiomático

BR SPCLEARQ FAIA-Impr-IT466
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda Ignez. A Evolução do Método Axiomático. Revista Brasileira de Filosofia, São Paulo, v. XIV, fasc. 54, s.d. p. 209-221.

Untitled

A Survey of Paraconsistent Logic. Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT468
Item
1980

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. A Survey of Paraconsistent Logic. Mathematical Logic in Latin America, s.l., 1980, p. 1 ? 41.

Untitled

Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent

BR SPCLEARQ FAIA-Impr-IT470
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley and J. Norman (eds.), München: Philosophia Verlag, p. 99-130. versão preliminar.

Untitled

Considerações sobre os Sistemas Fomais NFn

BR SPCLEARQ FAIA-Impr-IT471
Item
1964

Part of Ayda Ignez Arruda

ARRUDA, Ayda Ignez. Considerações sobre os Sistemas Fomais NFn. 1964. 53 p. Tese (Livre Docência da Cadeira de Análise Matemática e Análise Superior) - Faculdade de Filosofia, Ciências e Letras, Universidade do Paraná, Curitiba.

Untitled

La mathématique classiques dans Nfw

BR SPCLEARQ FAIA-Impr-IT472
Item
1971-05-03

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.

Untitled

Le schéma de la séparation dans les systèmes NFn

BR SPCLEARQ FAIA-Impr-IT473
Item
1975-05-26

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Le schéma de la séparation dans les systèmes NFn. C.R. Acad. Sc. Paris, t.280, p. 1341-1341, 26 maio 1975.

Untitled

On Griss propositional calculus

BR SPCLEARQ FAIA-Impr-IT475
Item
1971-09

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Untitled

On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability

BR SPCLEARQ FAIA-Impr-IT476
Item
1977

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability. s.l., p. 3-24, 1977

Untitled

On the Imaginary Logic of N.A. Vasil'év

BR SPCLEARQ FAIA-Impr-IT477
Item
1978-06

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Untitled

On the Postulate of Separation

BR SPCLEARQ FAIA-Impr-IT478
Item
1968

Part of Ayda Ignez Arruda

ARRUDA, A.I. On the Postulate of Separation. s.l., p. 399-400, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p.399-400, 1968].

Untitled

Remarques sur les systèmes Cn. C.R. Acad. Sc

BR SPCLEARQ FAIA-Impr-IT480
Item
1975-05-21

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Remarques sur les systèmes Cn. C.R. Acad. Sc. Paris, t.280, p. 1253-1256, 21 maio 1975

Untitled

Sistemas Formais Inconsistentes e Teoria dos Conjuntos

BR SPCLEARQ FAIA-Impr-IT481
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda Ignez. Sistemas Formais Inconsistentes e Teoria dos Conjuntos. s.l., p. 18-25, s.d.

Untitled

Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics

BR SPCLEARQ FAIA-Impr-IT483
Item
1977

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics. Mathematical Logic: Proceedings of the First Brazilian Conference, Nova Iorque, p. 9-29, 1977.

Untitled

Sur certains algèbres de classes non classiques

BR SPCLEARQ FAIA-Impr-IT484
Item
1969-03-31

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certains algèbres de classes non classiques. C.R. Acad. Sc. Paris, t.268, p. 677-680, 31 mar. 1969

Untitled

Narrow your results by:

Language

Part of

Name

Place

Subject

Level of description

Media type

Showing 407 results