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, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.

Ayda Ignez Arruda

Publicação

Artigo, em inglês, de Richard Routley e Andrea Loparic intitulado Arruda-da Costa P Systems And Adjacent Non-Replacement Systems. S.l., [1976-1978]. S.ass. 19p. dat. cópia.

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

Informe de apoio

Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Curriculum vitae

Curriculum vitae, em inglês, de Cecylia Rauszer. S.l. S.d. S.ass. 1p. dat. cópia.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms

Ayda Ignez Arruda

Publicação

Artigo, em inglês, de Richard e Valerie Routley, intitulado Rehabilitating Meinong’s Theory of Objects. S.l., [1971-1973]. S.ass. 27p. dat. cópia.

Ayda Ignez Arruda

Curriculum vitae

Curriculum vitae, em inglês, de Bruce Irwin Rose. S.l. S.d. S.ass. 2p. dat. cópia.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, sem título, sobre Vasil'ev e a lógica paraconsistente, indicado como Capítulo 3. S.l., S.d. S.ass. 14p. dat.

Ayda Ignez Arruda

Tradução de artigo

Tradução do artigo de V.A. Smirnov, intitulado As concepções lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 16p. dat

Ayda Ignez Arruda

Resultados 51 a 60 de 256