Logique sans igalité et (k,p)-quasivalence
- BR SPCLEARQ FAIA-I-IT548
- Item
- 1976
Parte deAyda Ignez Arruda
MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.
Ayda Ignez Arruda
Mostrando 19 resultados
Descrição arquivísticaUne sémantique pour le calcul C1
- BR SPCLEARQ FAIA-I-IT526
- Item
- 1976-06
Parte deAyda Ignez Arruda
COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.
Ayda Ignez Arruda
- BR SPCLEARQ FAIA-I-IT525
- Item
- 1971-05
Parte deAyda Ignez Arruda
COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.
Ayda Ignez Arruda
Calculs de descriptions pour les systèmes formels inconsistants
- BR SPCLEARQ FAIA-I-IT524
- Item
- 1964
Parte deAyda Ignez Arruda
COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.
Ayda Ignez Arruda
Une sémantique pour le calcul C1=. C.R
- BR SPCLEARQ FAIA-I-IT506
- Item
- 1977-01-31
Parte deAyda Ignez Arruda
ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.
Ayda Ignez Arruda
Sur une hiérarchies de systèmes formels
- BR SPCLEARQ FAIA-I-IT504
- Item
- 1964-11-02
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.
Ayda Ignez Arruda
Sur un Théorème de Hilbert et Bernays
- BR SPCLEARQ FAIA-I-IT503
- Item
- 1964-06-29
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.
Ayda Ignez Arruda
Sur les systèmes Nfi de da Costa
- BR SPCLEARQ FAIA-I-IT490
- Item
- 1970-04-27
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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
Remarques sur les systèmes Cn. C.R. Acad. Sc
- BR SPCLEARQ FAIA-I-IT480
- Item
- 1975-05-21
Parte deAyda 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
Le schéma de la séparation dans les systèmes NFn
- BR SPCLEARQ FAIA-I-IT473
- Item
- 1975-05-26
Parte deAyda 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
Parte deAyda 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
- BR SPCLEARQ FAIA-C-Cp-IT309
- Item
- ? - 1982-01-19
Parte deAyda Ignez Arruda
Carta, em espanhol, de M. Dickmann para AIA, comunicando seu interesse em vir à Campinas quando de sua participação no VI SLALM e solicitando uma resposta quanto sua vinda ao Brasil. Paris, 19 jan. 1982. Ass.: Marcel Dickmann. 1p.
Ayda Ignez Arruda
Carta de Alexandre A. Martins Rodrigues para AIA
- BR SPCLEARQ FAIA-C-Cp-IT242
- Item
- 1983-04-25
Parte deAyda Ignez Arruda
Carta de Alexandre A. Martins Rodrigues para AIA, comunicando a impossibilidade de participar em bancas de concurso e indicando o período mais apropriado para tal. Saint Martin-d?Hers, 25 abr. 1983. Ass.: Alexandre A. Martins Rodrigues. 1p. ms.
Ayda Ignez Arruda