Mostrar 256 resultados

Descrição arquivística
Ayda Ignez Arruda s.l.
Opções de pesquisa avançada
Previsualizar a impressão Ver:

Informe de apoio

Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Publicação

Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.

Ayda Ignez Arruda

Tradução de artigo

Tradução, do artigo de Jean Leray, [feita por AIA], sobre a reforma do ensino secundário de matemática, redigido a pedido da Academia de Ciências. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Publicação

Artigo, em francês, de Andréa Loparic, intitulado Une étude sémantique de quelques calculs propositionnels. S.l., S.d. S.ass. 5p. dat. cópia.

Ayda Ignez Arruda

Tradução de artigo

Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica Imaginária (Não-Aristotélica). S.l., S.d. S.ass. 54p. dat.

Ayda Ignez Arruda

Publicação

Artigo sem autor intitulado As idéias lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 54p. dat. cópia.

Ayda Ignez Arruda

Publicação

Texto sem autor intitulado O Intelecto Humano resumindo as principais idéias de Nietzsche expressas em Sobre Verdade e Mentira no Sentido Extra-moral. S.l., S.d. S.ass. 1p. dat.

Ayda Ignez Arruda

Publicação

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Ayda Ignez Arruda

Publicação

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Ayda Ignez Arruda

Publicação

ARRUDA, Ayda Ignez. Sistemas Formais Inconsistentes e Teoria dos Conjuntos. s.l., p. 18-25, s.d.

Ayda Ignez Arruda

Resultados 31 a 40 de 256