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

França

Taxonomía

Lugares

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

França

Término General Europa

França

Término Específico Clermont-Ferrand
Término Específico Lille
Término Específico Melun
Término Específico Montpellier
Término Específico Bagneux
Término Específico Chamalières
Término Específico Estrasburgo
Término Específico Le Croisic
Término Específico Les Mureaux
Término Específico Paris
Término Específico Saint Martin-d’Hers

Términos equivalentes

França

Términos asociados

França

40 Descripción archivística resultados para França

Ordenar por:

Dirección:

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT488
Unidad documental simple
1968-04-29

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 897-900, 29 abr. 1968.

Sin título

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT487
Unidad documental simple
1968-01-08

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 37-39, 8 jan. 1968.

Sin título

Sur certains algèbres de classes non classiques

BR SPCLEARQ FAIA-Impr-IT484
Unidad documental simple
1969-03-31

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certains algèbres de classes non classiques. C.R. Acad. Sc. Paris, t.268, p. 677-680, 31 mar. 1969

Sin título

Sur certains hiérarchies de calculs de prédicats

BR SPCLEARQ FAIA-Impr-IT485
Unidad documental simple
1969-03-24

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

Sin título

Sur le syst¨¨me NF¦Ø

BR SPCLEARQ FAIA-Impr-IT489
Unidad documental simple
1970-05-04

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.

Sin título

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

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

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

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

Resultados 31 a 40 de 40