Information object browse - Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência

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.

Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo

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

Parte de 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.

Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo

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

Parte de 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.

Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo

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

Parte de 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.

Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo

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

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

Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo

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

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

Ayda Ignez Arruda

Correspondência, Notícias e Manifestos

BR SPCLEARQ FAIA-IU-CNM
Subsérie

Parte de Ayda Ignez Arruda

Boletim 46 APROPUC

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

Parte de 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.

Ayda Ignez Arruda

Comunicado do gabinete do reitor da Unicamp

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Trecho de reportagem O Diário de Piracicaba

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

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

Ayda Ignez Arruda

Reportagem da Revista Istoé Universidade Burra

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-IU-CNM-IT173
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Diário Oficial do Estado de São Paulo

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

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-IU-IT154
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Rascunho de AIA

BR SPCLEARQ FAIA-IU-IT156
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Impressos

BR SPCLEARQ FAIA-Impr
Série

Parte de Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-Impr-IT466
Item

Parte de 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.

Ayda Ignez Arruda

A Survey of Paraconsistent Logic. Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT468
Item
1980

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-Impr-IT470
Item

Parte de 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.

Ayda Ignez Arruda

Considerações sobre os Sistemas Fomais NFn

BR SPCLEARQ FAIA-Impr-IT471
Item
1964

Parte de 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.

Ayda Ignez Arruda

La mathématique classiques dans Nfw

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

Parte de 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.

Ayda Ignez Arruda

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

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

Parte de 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.

Ayda Ignez Arruda

On Griss propositional calculus

BR SPCLEARQ FAIA-Impr-IT475
Item
1971-09

Parte de 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.

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-Impr-IT476
Item
1977

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-Impr-IT477
Item
1978-06

Parte de 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.

Ayda Ignez Arruda

On the Postulate of Separation

BR SPCLEARQ FAIA-Impr-IT478
Item
1968

Parte de 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].

Ayda Ignez Arruda

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

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

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

Ayda Ignez Arruda

Sistemas Formais Inconsistentes e Teoria dos Conjuntos

BR SPCLEARQ FAIA-Impr-IT481
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics

BR SPCLEARQ FAIA-Impr-IT483
Item
1977

Parte de 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.

Ayda Ignez Arruda

Sur certains algèbres de classes non classiques

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

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

Ayda Ignez Arruda

Limite seus resultados por:

Idioma

Parte de

Nome

Local

Assunto

Nível de descrição

Tipo de mídia

Mostrando 407 resultados