Mostrando 715 resultados

Descrição arquivística
Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência - Unicamp Ayda Ignez Arruda
Opções de pesquisa avançada
Visualizar impressão Visualizar:

Resumo

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Ayda Ignez Arruda

Publicação

ARRUDA, A.I. On the Postulate of Separation. s.l., p. 399-400, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p.399-400, 1968].

Ayda Ignez Arruda

Publicação

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

Publicação

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

Contrato de trabalho

Termo de Contrato de Trabalho entre a Unicamp e AIA. Ass.: Zeferino Vaz, reitor da Unicamp; Ayda Ignez Arruda; Maria de Lourdes Malta Pretti, [funcionária da Unicamp] e testemunhas.

Contrato de trabalho

Termo de Contrato de Trabalho entre a Unicamp e AIA. Ass.: Zeferino Vaz, reitor da Unicamp; Ayda Ignez Arruda; Maria de Lourdes Malta Pretti, [funcionária da Unicamp] e testemunhas.

Publicação

JASKOWSKI, Stanislaw. Propositional calculus for contradctory deductive systems. Studia Logica, t. XXIV, p.143-157, 1969.

Ayda Ignez Arruda

Publicação

ROGAVA, M.G. On sequential modifications of applied predicate calculi. Semin. Math., V.A. Steklov Math. Inst. Leningrad 4, p.77-81, 1969.

Ayda Ignez Arruda

Publicação

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

Publicação

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

Resultados 21 até 30 de 715