Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência - UNICAMP

Visualizar impressão Fechar

Mostrando 36 resultados

Descrição arquivística

Visualizar impressão Visualizar:

Ordenar por:

Ordem:

3 resultados com objetos digitais Exibir resultados com objetos digitais

Carta manuscrita de [Michel] Voos a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT110
Item
1976/01/08

Parte de José Carlos Valladão de Mattos

Carta manuscrita, em inglês, de [Michel] Voos a JCVM solicitando informações sobre moradia, salários e passeios no Brasil. ass. [Michel] Voos. Paris, 9 de maio de 1976. 1p (anexo envelope)

Sem título

Sur certains hiérarchies de calculs de prédicats

BR SPCLEARQ FAIA-Impr-IT485
Item
1969-03-24

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

Sur certaines hiérarchies de calculs propositionnels

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

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

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

Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT65
Item
1948-05-01

Parte de Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro em Paris

Joaquim da Costa Ribeiro

Exibindo 31-36 de 36 resultados

Limite seus resultados por:

Idioma

Parte de

Produtor

Nome

Local

Assunto

Mostrando 36 resultados