Visualizar impressão Fechar

Mostrando 6 resultados

Descrição arquivística
Newton Carneiro Affonso da Costa Paris (França)
Visualizar impressão
Visualização em ficha Visualização em tabela
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
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
Publicação
BR SPCLEARQ AIA-I-60 · Item · 1971-05
Parte de Ayda 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
Publicação
BR SPCLEARQ AIA-I-61 · Item · 1976-06
Parte de Ayda 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