Publicação Aggiungi all'area di lavoro BR SPCLEARQ AIA-I-15 Unità documentaria 1975-05-21 Parte diAyda 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
Publicação Aggiungi all'area di lavoro BR SPCLEARQ AIA-I-39 Unità documentaria 1964-11-02 Parte diAyda 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
Publicação Aggiungi all'area di lavoro BR SPCLEARQ AIA-I-83 Unità documentaria 1976 Parte diAyda 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
Curriculum vitae Aggiungi all'area di lavoro BR SPCLEARQ AIA-Cv-5 Unità documentaria 1976-01-06 Parte diAyda Ignez Arruda Curriculum vitae, em espanhol, de Marc Krasner. Paris, 06 jan. 1976. S.ass. 1p. dat. cópia Ayda Ignez Arruda
Publicação Aggiungi all'area di lavoro BR SPCLEARQ AIA-I-7 Unità documentaria 1971-05-03 Parte diAyda 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
Publicação Aggiungi all'area di lavoro BR SPCLEARQ AIA-I-21 Unità documentaria 1967-11-20 Parte diAyda 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
Publicação Aggiungi all'area di lavoro BR SPCLEARQ AIA-I-25 Unità documentaria 1970-04-27 Parte diAyda 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
Publicação Aggiungi all'area di lavoro BR SPCLEARQ AIA-I-38 Unità documentaria 1964-06-29 Parte diAyda 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
Publicação Aggiungi all'area di lavoro BR SPCLEARQ AIA-I-20 Unità documentaria 1969-03-24 Parte diAyda 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
Publicação Aggiungi all'area di lavoro BR SPCLEARQ AIA-I-22 Unità documentaria 1968-01-08 Parte diAyda 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