Mostrando 75 resultados

Descrição arquivística
Paris (França)
Visualizar impressão Hierarquia
Visualização em ficha Visualização em tabela
32 resultados com objetos digitais Exibir resultados com objetos digitais
Publicação
BR SPCLEARQ AIA_I_21 · Item · 1967-11-20
Parte 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

 Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_22 · Item · 1968-01-08
Parte 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.

 Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_23 · Item · 1968-04-29
Parte 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.

 Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_24 · Item · 1970-05-04
Parte 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.

 Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_25 · Item · 1970-04-27
Parte 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.

 Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_38 · Item · 1964-06-29
Parte 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.

 Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_39 · Item · 1964-11-02
Parte 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.

 Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_41 · Item · 1977-01-31
Parte de Ayda 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
Curriculum vitae
BR SPCLEARQ AIA_Cv_5 · Item · 1976-01-06
Parte de Ayda Ignez Arruda

Curriculum vitae, em espanhol, de Marc Krasner. Paris, 06 jan. 1976. S.ass. 1p. dat. cópia

 Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_59 · Item · 1964
Parte de Ayda 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