- BR SPCLEARQ AIA-I-83
- Item
- 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.
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)
27 Descrição arquivística resultados para Paris (França)
27 resultados diretamente relacionados Excluir termos específicos
- BR SPCLEARQ AIA-I-7
- Item
- 1971-05-03
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.
Ayda Ignez Arruda
- BR SPCLEARQ AIA-I-21
- Item
- 1967-11-20
Parte deAyda 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
- BR SPCLEARQ AIA-I-25
- Item
- 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.
Ayda Ignez Arruda
- BR SPCLEARQ AIA-I-38
- Item
- 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.
Ayda Ignez Arruda
- BR SPCLEARQ AIA-I-20
- Item
- 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.
Ayda Ignez Arruda
- BR SPCLEARQ AIA-I-22
- Item
- 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.
Ayda Ignez Arruda
- BR SPCLEARQ AIA-I-23
- Item
- 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.
Ayda Ignez Arruda
- BR SPCLEARQ AIA-I-24
- Item
- 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.
Ayda Ignez Arruda
- BR SPCLEARQ AIA-I-59
- Item
- 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.
Ayda Ignez Arruda
Resultados 11 até 20 de 27