Mostrando 1943 resultados

Descrição arquivística
Opções de pesquisa avançada
Visualizar impressão Visualizar:

Publicação

Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.

Ayda Ignez Arruda

Publicação

Artigo, em francês, de AIA, intitulado Sur la Théorie des Sytèmes Formels Inconsistants. IMECC, S.d., S.ass. 13p. dat. cópia.

Ayda Ignez Arruda

Publicação

Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.

Ayda Ignez Arruda

Publicação

Artigo, em espanhol, de José Fernández-Prida, intitulado Teorias Recursivas, Creativas y Productivas. S.l., S.d. S.ass. 15p. dat. cópia.

Ayda Ignez Arruda

Publicação

Artigo, em alemão, de Siegfried Gottwald, intitulado Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik. Leipzig, Alemanha, [1983]. 9p. dat.

Ayda Ignez Arruda

Publicação

Artigo, em inglês, de Siegfried Gottwald, intitulado Generalization of some results of Elie Sanchez. [Leipzig, Alemanha, 1982-1983]. S.ass. 7p. dat.

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

Publicação

ARRUDA, Ayda I. A Survey of Paraconsistent Logic. Mathematical Logic in Latin America, s.l., 1980, p. 1 – 41.

Ayda Ignez Arruda

Publicação

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability. s.l., p. 3-24, 1977

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

Resultados 221 até 230 de 1943