- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
Print preview Close
Showing 406 results
Archival description18 results with digital objects Show results with digital objects
Sur les systèmes Nfi de da Costa
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
- BR SPCLEARQ FAIA-I-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
Ayda Ignez Arruda
Sur certains hiérarchies de calculs de prédicats
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
Sur certains algèbres de classes non classiques
- BR SPCLEARQ FAIA-I-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
Ayda Ignez Arruda
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
Sistemas Formais Inconsistentes e Teoria dos Conjuntos
- BR SPCLEARQ FAIA-I-IT481
- Item
Part of 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-I-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
Ayda Ignez Arruda
On the Postulate of Separation
- BR SPCLEARQ FAIA-I-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].
Ayda Ignez Arruda
On the Imaginary Logic of N.A. Vasil'év
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability
- BR SPCLEARQ FAIA-I-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
Ayda Ignez Arruda
On Griss propositional calculus
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
Le schéma de la séparation dans les systèmes NFn
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
La mathématique classiques dans Nfw
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
Considerações sobre os Sistemas Fomais NFn
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
A Evolução do Método Axiomático
- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
Une sémantique pour le calcul C1
- BR SPCLEARQ FAIA-PItm-IT441
- Item
- [1974-1976]
Part of Ayda Ignez Arruda
Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.
Ayda Ignez Arruda
- BR SPCLEARQ FAIA-PIm-A-IT366
- Item
Part of Ayda Ignez Arruda
Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.
Ayda Ignez Arruda
Carta de W.W. Tait a Said Sidki
- BR SPCLEARQ FAIA-C-Ct-IT359
- Item
- ? - 1976-05-25
Part of Ayda Ignez Arruda
Carta, em inglês, de W.W. Tait a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 25 maio 1976. Ass.: W.W. Tait. 1p. dat. cópia.
Ayda Ignez Arruda
Carta de W.W. Tait a Said Sidki
- BR SPCLEARQ FAIA-C-Ct-IT359
- Item
- ? - 1976-05-25
Part of Ayda Ignez Arruda
Carta, em inglês, de W.W. Tait a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 25 maio 1976. Ass.: W.W. Tait. 1p. dat. cópia.
Ayda Ignez Arruda
Carta de recomendação de Weiner Krabs
- BR SPCLEARQ FAIA-C-Ct-IT358
- Item
- ? - 1981-08-06
Part of Ayda Ignez Arruda
Carta de recomendação, em alemão, de Weiner Krabs, comentando sobre as habilidades do aluno Plínio Stange. Darmstadt, 06 ago. 1981. Ass.: Werner Krabs. 1p. dat. cópia.
Ayda Ignez Arruda
Carta de recomendação de Weiner Krabs
- BR SPCLEARQ FAIA-C-Ct-IT358
- Item
- ? - 1981-08-06
Part of Ayda Ignez Arruda
Carta de recomendação, em alemão, de Weiner Krabs, comentando sobre as habilidades do aluno Plínio Stange. Darmstadt, 06 ago. 1981. Ass.: Werner Krabs. 1p. dat. cópia.
Ayda Ignez Arruda
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes
- BR SPCLEARQ FAIA-C-Ct-IT357
- Item
- ? - 1980-03-05
Part of Ayda Ignez Arruda
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes, reitor da Unicamp, encaminhando o resultado da lista sêxtupla e como se deu a eleição para a direção do IMECC. S.l., 05 mar. 1980. Ass.: Ubiratan D?Ambrósio. 1p. dat. cópia.
Ayda Ignez Arruda
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes
- BR SPCLEARQ FAIA-C-Ct-IT357
- Item
- ? - 1980-03-05
Part of Ayda Ignez Arruda
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes, reitor da Unicamp, encaminhando o resultado da lista sêxtupla e como se deu a eleição para a direção do IMECC. S.l., 05 mar. 1980. Ass.: Ubiratan D?Ambrósio. 1p. dat. cópia.
Ayda Ignez Arruda
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio
- BR SPCLEARQ FAIA-C-Ct-IT356
- Item
- ? - 1979-12-18
Part of Ayda Ignez Arruda
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio, diretor do IMECC, a Plínio Alves de Moraes, reitor da Unicamp, enviando lista tríplice da eleição para diretor do IMECC. S.l., 18 dez. 1979. Ass.: Ubiratan D?Ambrósio. 1p. dat. cópia.
Ayda Ignez Arruda
Results 151 to 180 of 406