Mostrando 732 resultados

Descripción archivística
22 resultados con objetos digitales Muestra los resultados con objetos digitales
O Intelecto Humano
BR SPCLEARQ FAIA-PItm-IT465 · Unidad documental simple
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. Sin título
Notas de aula de Ryszard Wojcicki
BR SPCLEARQ FAIA-PItm-IT463 · Unidad documental simple · 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. Sin título
BR SPCLEARQ FAIA-PItm-IT461 · Unidad documental simple
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. Sin título
Lógica e Metalógica
BR SPCLEARQ FAIA-PItm-IT460 · Unidad documental simple
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. Sin título
Relatório de Joseph Donald Sneed
BR SPCLEARQ FAIA-PItm-IT458 · Unidad documental simple
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. Sin título
BR SPCLEARQ FAIA-PItm-IT454 · Unidad documental simple · [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. Sin título
BR SPCLEARQ FAIA-PItm-IT452 · Unidad documental simple · 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. Sin título
Estudo de Andréa Loparic
BR SPCLEARQ FAIA-PItm-IT451 · Unidad documental simple · 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. Sin título
Tradução do artigo de Jean Leray
BR SPCLEARQ FAIA-PItm-IT449 · Unidad documental simple
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. Sin título
BR SPCLEARQ FAIA-PItm-IT448 · Unidad documental simple · [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. Sin título
BR SPCLEARQ FAIA-PItm-IT445 · Unidad documental simple
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. Sin título
BR SPCLEARQ FAIA-PItm-IT444 · Unidad documental simple
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. Sin título
Tradução do artigo de Jean Dieudonné
BR SPCLEARQ FAIA-PItm-IT443 · Unidad documental simple
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. Sin título
Une sémantique pour le calcul C1
BR SPCLEARQ FAIA-PItm-IT441 · Unidad documental simple · [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. Sin título
Estudo de AIA sem título
BR SPCLEARQ FAIA-PIm-V-IT383 · Unidad documental simple
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. Sin título