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

A semantical study of some of vagueness logic

BR SPCLEARQ FAIA-Impr-IT493
Item

ARRUDA, Ayda I.; ALVES, Elias H. A semantical study of some of vagueness logic. s.l., p. 139 ? 145, s.d.

Ayda Ignez Arruda

BR SPCLEARQ FAIA-Impr-IT492
Item

ARRUDA, Ayda Ignez. Uma Questão de Lógica. Revista Brasileira de Filosofia. [São Paulo, v. XIII, fasc. 50], p. 261-264, s.d.

Ayda Ignez Arruda

Sur les systèmes Nfi de da Costa

BR SPCLEARQ FAIA-Impr-IT490
Item
1970-04-27

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Sur les systèmes Nfi de da Costa. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1081-1084, 27 abr. 1970.

Ayda Ignez Arruda

Sur le syst¨¨me NF¦Ø

BR SPCLEARQ FAIA-Impr-IT489
Item
1970-05-04

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.

Ayda Ignez Arruda

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT488
Item
1968-04-29

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 897-900, 29 abr. 1968.

Ayda Ignez Arruda

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT487
Item
1968-01-08

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 37-39, 8 jan. 1968.

Ayda Ignez Arruda

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT486
Item
1967-11-20

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 265, p. 641-644, 20 nov. 1967

Ayda Ignez Arruda

Sur certains hiérarchies de calculs de prédicats

BR SPCLEARQ FAIA-Impr-IT485
Item
1969-03-24

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certains hiérarchies de calculs de prédicats. C.R. Acad. Sc. Paris, t.268, p. 629-632, 24 mar. 1969.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Limite seus resultados por:

Idioma

Parte de

Nome

Local

Assunto

Nível de descrição

Tipo de mídia

Mostrando 368 resultados