Term browse - França - Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência

BR SPCLEARQ FAIA-Impr-IT506
Item
1977-01-31

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

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
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

Remarques sur le système NF1

BR SPCLEARQ FAIA-Impr-IT525
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

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
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

Logique sans igalité et (k,p)-quasivalence

BR SPCLEARQ FAIA-Impr-IT548
Item
1976

Parte de Ayda 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

Carta de Lourdes [Delevallée] a Newton Bernardes

BR SPCLEARQ FNB-Cp-IT058
Item
1993/01/03

Parte de Newton Bernardes

058 ? Carta de Lourdes [Delevallée] a Newton Bernardes informando-o sobre sua vida e agradecendo pelas notícias que ele enviara.

Newton Bernardes

Carta de Ayda Ignez Arruda

BR SPCLEARQ FNCAC-Cp-IT15
Item
1970-01-01

Parte de Newton Carneiro Affonso da Costa

Carta de Ayda Agnez Arruda a NCAC falando de sua estadia em Chamalières e do resultado de suas pesquisas. Chamalières, 1 de jan. de 1970. 2p. (ms)

Carta de Ayda Ignez Arruda

BR SPCLEARQ FNCAC-Cp-IT16
Item
1970-02-07

Parte de Newton Carneiro Affonso da Costa

Carta de Ayda Agnez Arruda a NCAC comentando sobre a exposição de seu trabalho e de sua viagem à Europa. Chamalières, 7 de fev. de 1970. 2p. (ms)

Carta de Ayda Ignez Arruda

BR SPCLEARQ FNCAC-Cp-IT17
Item
1970-01-27

Parte de Newton Carneiro Affonso da Costa

Carta de Ayda Agnez Arruda a NCAC comentando o seu receio sobre os rumos do desenvolvimento científico na cidade de Campinas e o que essa comunidade está passando. Chamalières, 27 de jan. de 1970. 2p. (ms)

Newton Carneiro Affonso da Costa

Carta de Michel Paty

BR SPCLEARQ FNCAC-Cp-IT64
Item
1983-01-07

Parte de Newton Carneiro Affonso da Costa

Carta de Michel Paty a NCAC agradecendo o envio do livro sobre os fundamentos da lógica, comentando sobre o mesmo e pedindo desculpas por não ter agradecido antes. [Paris], 7 de jan. de 1983. 1p. (ms)

2 Reunião do Comitê Consultivo das Nações Unidas

BR SPCLEARQ JCR-F-IT37
Item
1955-05

Parte de Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro e outros na Comissão que discutia as aplicações pacíficas da Energia Atômica [2ème Reunion du Comité Consultativ de l'ONU pour la Conférence des Applications Pacifiques de l'Energie Nucléaire. Paris - Mai - 1955]

Joaquim da Costa Ribeiro