Mostrando 303 resultados

Descrição arquivística
Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência - Unicamp s.l.
Opções de pesquisa avançada
Visualizar impressão Visualizar:

Publicação

ZAWIRSKI, Sigismond. Les logiques nouvelles et le champ de leur application. Revue de Métaphyisique et de Morale, vol.39, p.503-519, 1932.

Ayda Ignez Arruda

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 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 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.; 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

Publicação

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

Publicação

BATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980.

Ayda Ignez Arruda

Resultados 221 até 230 de 303