Showing 732 results

Archival description
Ayda Ignez Arruda
Print preview
Card view Table view
22 results with digital objects Show results with digital objects
O Intelecto Humano
BR SPCLEARQ FAIA-PItm-IT465 · Item
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. Untitled
Notas de aula de Ryszard Wojcicki
BR SPCLEARQ FAIA-PItm-IT463 · Item · 1981
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. Untitled
Lógica e Metalógica
BR SPCLEARQ FAIA-PItm-IT460 · Item
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. Untitled
Relatório de Joseph Donald Sneed
BR SPCLEARQ FAIA-PItm-IT458 · Item
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. Untitled
Projeto Sistemas de Bibliotecas da Unicam
BR SPCLEARQ FAIA-PItm-IT452 · Item · 1983-08
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. Untitled
Estudo de Andréa Loparic
BR SPCLEARQ FAIA-PItm-IT451 · Item · 1975-12-13
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. Untitled
Tradução do artigo de Jean Leray
BR SPCLEARQ FAIA-PItm-IT449 · Item
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. Untitled
Une sémantique pour le calcul C1
BR SPCLEARQ FAIA-PItm-IT441 · Item · [1974-1976]
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. Untitled
Estudo de AIA sem título
BR SPCLEARQ FAIA-PIm-V-IT383 · Item
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. Untitled