- BR SPCLEARQ AIA-PIm-A-11
- Item
- s.d.
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
3440 resultados diretamente relacionados Excluir termos específicos
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 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.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
BATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977.
Ayda Ignez Arruda