Mostrando 587 resultados

Descrição arquivística
Ayda Ignez Arruda
Visualizar impressão
Visualização em ficha Visualização em tabela
6 resultados com objetos digitais Exibir resultados com objetos digitais
O Intelecto Humano
BR SPCLEARQ FAIA-PItm-IT465 · Item
Parte de 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
Notas de aula de Ryszard Wojcicki
BR SPCLEARQ FAIA-PItm-IT463 · Item · 1981
Parte de 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
Lógica Imaginária (Não-Aristotélica)
BR SPCLEARQ FAIA-PItm-IT461 · Item
Parte de 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
Lógica e Metalógica
BR SPCLEARQ FAIA-PItm-IT460 · Item
Parte de 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
Relatório de Joseph Donald Sneed
BR SPCLEARQ FAIA-PItm-IT458 · Item
Parte de 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
Rehabilitating Meinong’s Theory of Objects
BR SPCLEARQ FAIA-PItm-IT454 · Item · [1971-1973]
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
Projeto Sistemas de Bibliotecas da Unicam
BR SPCLEARQ FAIA-PItm-IT452 · Item · 1983-08
Parte de 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
Estudo de Andréa Loparic
BR SPCLEARQ FAIA-PItm-IT451 · Item · 1975-12-13
Parte de 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
Tradução do artigo de Jean Leray
BR SPCLEARQ FAIA-PItm-IT449 · Item
Parte de 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
BR SPCLEARQ FAIA-PItm-IT448 · Item · [1982-1983]
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
Teorias Recursivas, Creativas y Productivas
BR SPCLEARQ FAIA-PItm-IT445 · Item
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
Gödel’s collected works (A.S.L. Project)
BR SPCLEARQ FAIA-PItm-IT444 · Item
Parte de 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é
BR SPCLEARQ FAIA-PItm-IT443 · Item
Parte de 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
Une sémantique pour le calcul C1
BR SPCLEARQ FAIA-PItm-IT441 · Item · [1974-1976]
Parte de 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
Estudo de AIA sem título
BR SPCLEARQ FAIA-PIm-V-IT383 · Item
Parte de 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