- BR SPCLEARQ AIA-I-38
- Item
- 1964-06-29
Parte de Ayda 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.
Ayda Ignez Arruda
Paris (França)
Taxonomia
Código
Nota(s) de âmbito
Nota(s) de fonte(s)
Nota(s) de exibição
Termos hierárquicos
Paris (França)
Termos equivalentes
Paris (França)
Termos associados
Paris (França)
43 Descrição arquivística resultados para Paris (França)
43 resultados diretamente relacionados Excluir termos específicos
- BR SPCLEARQ AIA-I-20
- 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
- BR SPCLEARQ AIA-I-22
- Item
- 1968-01-08
Parte de Ayda 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.
Ayda Ignez Arruda
- BR SPCLEARQ AIA-I-23
- Item
- 1968-04-29
Parte de Ayda 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.
Ayda Ignez Arruda
- BR SPCLEARQ AIA-I-24
- Item
- 1970-05-04
Parte de Ayda 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.
Ayda Ignez Arruda
- BR SPCLEARQ AIA-I-59
- 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
- BR SPCLEARQ AIA-I-60
- 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
- BR SPCLEARQ AIA-I-61
- 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
- BR SPCLEARQ AIA-I-8
- Item
- 1975-05-26
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I. Le schéma de la séparation dans les systèmes NFn. C.R. Acad. Sc. Paris, t.280, p. 1341-1341, 26 maio 1975.
Ayda Ignez Arruda
- BR SPCLEARQ AIA-I-19
- Item
- 1969-03-31
Parte de Ayda 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
Ayda Ignez Arruda
Exibindo 31-40 de 43 resultados