- BR SPCLEARQ FAIA-Impr-IT492
- Item
Part of Ayda Ignez Arruda
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.
Untitled
Print preview Close
Showing 346 results
Archival description6 results with digital objects Show results with digital objects
Sur les systèmes Nfi de da Costa
- BR SPCLEARQ FAIA-Impr-IT490
- Item
- 1970-04-27
Part of 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.
Untitled
- BR SPCLEARQ FAIA-Impr-IT489
- Item
- 1970-05-04
Part of 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.
Untitled
Sur certaines hiérarchies de calculs propositionnels
- BR SPCLEARQ FAIA-Impr-IT488
- Item
- 1968-04-29
Part of 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.
Untitled
Sur certaines hiérarchies de calculs propositionnels
- BR SPCLEARQ FAIA-Impr-IT487
- Item
- 1968-01-08
Part of 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.
Untitled
Sur certaines hiérarchies de calculs propositionnels
- BR SPCLEARQ FAIA-Impr-IT486
- Item
- 1967-11-20
Part of 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
Untitled
Sur certains hiérarchies de calculs de prédicats
- BR SPCLEARQ FAIA-Impr-IT485
- Item
- 1969-03-24
Part of 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.
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
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
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
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
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
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 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 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
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
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
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
- 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
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
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
- 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
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
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
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
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
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
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
- 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
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
Results 61 to 90 of 346