Mostrando 654 resultados

Descrição arquivística
Ayda Ignez Arruda Português do Brasil
Opções de pesquisa avançada
Visualizar impressão Visualizar:

Ofício

Ofício GR-015/80 de Plínio Alves de Moraes, reitor da Unicamp, a Ubiratan D’Ambrósio, diretor do IMECC, solicitando a elaboração de lista sêxtupla para a escolha do novo diretor. Campinas, 09 jan. 1980. Ass.: Plínio Alves de Moraes. 1p. dat. cópia

Ayda Ignez Arruda

Ofício

Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes, reitor da Unicamp, encaminhando o resultado da lista sêxtupla e como se deu a eleição para a direção do IMECC. S.l., 05 mar. 1980. Ass.: Ubiratan D’Ambrósio. 1p. dat. cópia.

Ayda Ignez Arruda

Publicação

Artigo de AIA intitulado Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes, analisando cálculos proposicionais denominados P e P*. S.l., S.d. S.ass. 11p. dat.

Ayda Ignez Arruda

Publicação

Artigo de AIA, intitulado Observações sobre o conjunto de Russell. IMECC, S.d. S.ass. 5p. dat.

Ayda Ignez Arruda

Resumo

Resumo, em inglês, de AIA, intitulado On Griss' Propositional Calculus. S.l., S.d. S.ass. 1p. dat.

Ayda Ignez Arruda

Publicação

Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.

Ayda Ignez Arruda

Apontamentos

Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.

Ayda Ignez Arruda

Resenha

Resenha de AIA, sobre o texto Lógica e Metalógica, de N. A. Vasil'év. S.l., S.d. S.ass. 2p. ms.

Ayda Ignez Arruda

Publicação

Artigo, em inglês, de AIA intitulado N.A. Vasilév: a forerunner of Paraconsistent Logic. [Unicamp, 1982] S.ass. 26p. dat.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.

Ayda Ignez Arruda

Resultados 51 até 60 de 654