Aperçu avant impression Fermer

Affichage de 19 résultats

Description archivistique
Publicação
BR SPCLEARQ AIA_I_15 · Pièce · 1975-05-21
Fait partie 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

Sans titre
Publicação
BR SPCLEARQ AIA_I_19 · Pièce · 1969-03-31
Fait partie 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

Sans titre
Publicação
BR SPCLEARQ AIA_I_20 · Pièce · 1969-03-24
Fait partie 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.

Sans titre
Publicação
BR SPCLEARQ AIA_I_21 · Pièce · 1967-11-20
Fait partie 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

Sans titre
Publicação
BR SPCLEARQ AIA_I_22 · Pièce · 1968-01-08
Fait partie 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.

Sans titre
Publicação
BR SPCLEARQ AIA_I_23 · Pièce · 1968-04-29
Fait partie 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.

Sans titre
Publicação
BR SPCLEARQ AIA_I_24 · Pièce · 1970-05-04
Fait partie 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.

Sans titre
Publicação
BR SPCLEARQ AIA_I_25 · Pièce · 1970-04-27
Fait partie 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.

Sans titre
Publicação
BR SPCLEARQ AIA_I_38 · Pièce · 1964-06-29
Fait partie de Ayda 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.

Sans titre
Publicação
BR SPCLEARQ AIA_I_39 · Pièce · 1964-11-02
Fait partie de Ayda 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.

Sans titre