Historical Archives - Centre for Logic, Epistemology and History of Science - Unicamp

Showing 36 results

Archival description

Print preview View:

Sort by:

Direction:

3 results with digital objects Show results with digital objects

Carta manuscrita de [Michel] Voos a JCVM

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

Part of 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)

José Carlos Valladão de Matos

Sur certains hiérarchies de calculs de prédicats

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

Part of 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.

Untitled

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT486
Item
1967-11-20

Part of 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

Untitled

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Item
1964

Part of 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.

Untitled

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
Item
1976-06

Part of 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.

Untitled

Joaquim da Costa Ribeiro

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

Part of Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro em Paris

Untitled

Results 31 to 36 of 36

Narrow your results by:

Language

Part of

Creator

Name

Place

Subject

Showing 36 results