- BR SPCLEARQ AIA-PIm-A-7
- Item
- s.d.
Parte de Ayda Ignez Arruda
Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.
Ayda Ignez Arruda
1943 resultados diretamente relacionados Excluir termos específicos
Parte de Ayda Ignez Arruda
Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I. A Survey of Paraconsistent Logic. Mathematical Logic in Latin America, s.l., 1980, p. 1 41.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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