Visualizar impressão Fechar

Mostrando 38 resultados

Descrição arquivística
Newton Carneiro Affonso da Costa
Visualizar impressão
Visualização em ficha Visualização em tabela
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-42 · Item · s.d.
Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.

 Ayda Ignez Arruda
Relatório
BR SPCLEARQ AIA-I-36 · Item · 1980-05
Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. On the relevant systems P and P* and some related systems. Campinas: Unicamp, maio 1980. 23 p. (Relatório Interno nº 174, IMECC, Unicamp.)

 Ayda Ignez Arruda
Resenha
BR SPCLEARQ AIA-I-31 · Item · 1982-02
Parte de Ayda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

 Ayda Ignez Arruda
Resumo
BR SPCLEARQ AIA-I-33 · Item · 1968
Parte de Ayda Ignez Arruda

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

 Ayda Ignez Arruda
Resumo
BR SPCLEARQ AIA-I-32 · Item · 1982
Parte de Ayda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

 Ayda Ignez Arruda