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

Mostrando 42 resultados

Descripción archivística

Imprimir vista previa Ver :

Ordenar por:

Dirección:

7 resultados con objetos digitales Muestra los resultados con objetos digitales

Sur les systèmes Nfi de da Costa

BR SPCLEARQ FAIA-Impr-IT490
Unidad documental simple
1970-04-27

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur les systèmes Nfi de da Costa. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1081-1084, 27 abr. 1970.

Sin título

Carta de M. Balkanski a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT50
Unidad documental simple
1977-07-09

Parte deJosé Carlos Valladão de Mattos

Carta, em inglês, de M. Balkanski a JCVM comunicando a aceitação do artigo “Electron Hole Drop Velocities as a Probe of Phonons in Germanium” a ser apresentado na “International Conference of Lattice Dynamics” e pedindo a confirmação da sua presença no evento. ass. M. Balkanski

Sin título

Sur un Théorème de Hilbert et Bernays

BR SPCLEARQ FAIA-Impr-IT503
Unidad documental simple
1964-06-29

Parte deAyda 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.

Sin título

Sur une hiérarchies de systèmes formels

BR SPCLEARQ FAIA-Impr-IT504
Unidad documental simple
1964-11-02

Parte deAyda 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.

Sin título

Une sémantique pour le calcul C1=. C.R

BR SPCLEARQ FAIA-Impr-IT506
Unidad documental simple
1977-01-31

Parte deAyda 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.

Sin título

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Unidad documental simple
1964

Parte deAyda 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.

Sin título

Remarques sur le système NF1

BR SPCLEARQ FAIA-Impr-IT525
Unidad documental simple
1971-05

Parte deAyda 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.

Sin título

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
Unidad documental simple
1976-06

Parte deAyda 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.

Sin título

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

BR SPCLEARQ FAIA-Impr-IT548
Unidad documental simple
1976

Parte deAyda Ignez Arruda

MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.

Sin título

Carta de Michel Paty

BR SPCLEARQ FNCAC-Cp-IT64
Unidad documental simple
1983-01-07

Parte deNewton 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)