19 results with digital objects Show results with digital objects
Part of Ayda Ignez Arruda
Texto sem autor intitulado O Intelecto Humano resumindo as principais idéias de Nietzsche expressas em Sobre Verdade e Mentira no Sentido Extra-moral. S.l., S.d. S.ass. 1p. dat.
Ayda Ignez Arruda
As idéias lógicas de N.A. Vasil’év
Part of Ayda Ignez Arruda
Artigo sem autor intitulado As idéias lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 54p. dat. cópia.
Ayda Ignez Arruda
Notas de aula de Ryszard Wojcicki
Part of Ayda Ignez Arruda
Notas de aula, em inglês, de Ryszard Wojcicki, do curso intitulado Topics in the theory of propositional logics. [Unicamp], 1981. Ass.: Ryszard Wojcicki. 116p. ms. cópia.
Ayda Ignez Arruda
Sobre os Juízos Particulares/O Triângulo das Oposições e a Lei do Quarto Excluído
Part of Ayda Ignez Arruda
Tradução do artigo de N.A. Vasil'év, intitulado Sobre os Juízos Particulares; O Triângulo das Oposições e a Lei do Quarto Excluído. S.l., S.d. S.ass. 45p. dat.
Ayda Ignez Arruda
Lógica Imaginária (Não-Aristotélica)
Part of Ayda Ignez Arruda
Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica Imaginária (Não-Aristotélica). S.l., S.d. S.ass. 54p. dat.
Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica e Metalógica. S.l., S.d. S.ass. 41p. dat.
Ayda Ignez Arruda
Matemática "moderna": Um erro educacional e filosófico?
Part of Ayda Ignez Arruda
Tradução, do artigo de René Thom, [feita por AIA], intitulado Matemática "moderna": Um erro educacional e filosófico?. S.l., S.d. S.ass. 18p. ms.
Ayda Ignez Arruda
Relatório de Joseph Donald Sneed
Part of Ayda Ignez Arruda
Relatório de Joseph Donald Sneed sobre sua visita ao CLE-Unicamp durante agosto e setembro de 1979, descrevendo suas atividades científicas e docentes. S.l. S.d. S.ass. 2p. dat.
Ayda Ignez Arruda
O ponto de vista lógico de N.A. Vasil’év
Part of Ayda Ignez Arruda
Tradução do artigo de V.A. Smirnov, intitulado O ponto de vista lógico de N.A. Vasil’év. S.l., S.d. S.ass. 16p. dat. cópia
Ayda Ignez Arruda
Las concepciones logicas de N.A. Vasil’év
Part of Ayda Ignez Arruda
Tradução, em espanhol, do artigo de V.A. Smirnov, intitulado Las concepciones logicas de N.A. Vasil’év. S.l., S.d. S.ass. 11p. dat
Ayda Ignez Arruda
As concepções lógicas de N.A. Vasil’év
Part of Ayda Ignez Arruda
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
Rehabilitating Meinong’s Theory of Objects
Part of 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
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Part of Ayda Ignez Arruda
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
Projeto Sistemas de Bibliotecas da Unicam
Part of Ayda Ignez Arruda
Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.
Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Estudo de Andréa Loparic, contendo exercícios, lemas, teoremas e corolários. S.l., 13 dez. 1975. Ass.: A. Loparic. 4p. ms. cópia.
Ayda Ignez Arruda
Une étude sémantique de quelques calculs propositionnels
Part of Ayda Ignez Arruda
Artigo, em francês, de Andréa Loparic, intitulado Une étude sémantique de quelques calculs propositionnels. S.l., S.d. S.ass. 5p. dat. cópia.
Ayda Ignez Arruda
Tradução do artigo de Jean Leray
Part of Ayda Ignez Arruda
Tradução, do artigo de Jean Leray, [feita por AIA], sobre a reforma do ensino secundário de matemática, redigido a pedido da Academia de Ciências. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Generalization of some results of Elie Sanchez
Part of 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
Part of 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
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
Part of Ayda Ignez Arruda
Artigo, em espanhol, de Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos. S.l., S.d. S.ass. 9p. dat. cópia.
Ayda Ignez Arruda
Teorias Recursivas, Creativas y Productivas
Part of 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
Gödel’s collected works (A.S.L. Project)
Part of Ayda Ignez Arruda
Estudo, em inglês, de Solomon Feferman, intitulado Gödel’s collected works (A.S.L. Project). Stanford University, USA, S.d. S.ass. 3p. dat.
Ayda Ignez Arruda
Tradução do artigo de Jean Dieudonné
Part of Ayda Ignez Arruda
Tradução, do artigo de Jean Dieudonné, [feita por AIA], intitulado Deveríamos ensinar matemática moderna?. S.l., S.d. S.ass. 13p. ms.
Ayda Ignez Arruda
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Part of Ayda Ignez Arruda
Artigo, em inglês, de Newton C. A. da Costa e Robert G. Wolf, intitulado Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities. S.l., [1978-1980]. S.ass. 19p. dat.
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Part of Ayda Ignez Arruda
Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.
Ayda Ignez Arruda
Produção Intelectual de Terceiros Manuscrita
Part of Ayda Ignez Arruda
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Part of Ayda Ignez Arruda
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
Estudo de AIA sobre a silogística de Vasil'év
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms
Ayda Ignez Arruda
Part of Ayda Ignez Arruda
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
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Part of Ayda Ignez Arruda
Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.
Ayda Ignez Arruda