- BR SPCLEARQ JCR-DPP-DP
- Subserie
- 1906-1960
Parte deJoaquim da Costa Ribeiro
Parte deJoaquim da Costa Ribeiro
Depoimento de Rogério Cerqueira Leite, 1977
Depoimento de Rogério Cerqueira Leite, 1977
Simon Schwartzmann
Depoimento de Othon Leonardos, 1976
Depoimento de Othon Leonardos, 1976
Simon Schwartzmann
A Coleção CL traz documentos avulsos sobre sua trajetória acadêmica, mas rico às pesquisas sobre a história da física e construção do Observatório de Física Cósmica no Monte Chacaltaya, em La Paz, na Bolívia.
César Lattes
Lélio Itapuambyra Gama, 1977 1
Cópias das entrevistas (55 unidades documentais) realizadas no contexto do projeto "História da ciência no Brasil", desenvolvido entre os anos de 1975-1978 e coordenado por Simon Schwartzmann.
Transcrição de 13 entrevistas realizadas no projeto “Preservação da Memória Científica”, desenvolvido pelo CLE, de 1987-1993.
ArqHist/CLE e FGV/CPDOC
Andrea Maria Altino de Campos Loparic
O Fundo é composto por documentos que abrangem sua trajetória profissional e aspectos de sua vida pessoal. Inclui artigos, teses, fotografias, notícias, apostilas, entre outros documentos.
Andrea Maria Altino de Campos Loparic
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte deAyda Ignez Arruda
Introdução à Lógica de Predicados
Questões para resolver em casa
La méthode des validations en Logique Propositionnelle Modale
Apostila de exercícios Lógica II 1
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1
Linguagem do Cálculo Sentencial 1
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1
Duas aplicações da Teoria das Valorações 1
Um estudo semântico de alguns cálculos proposicionais 1
Parte deNewton Freire-Maia
Parte deNewton Freire-Maia
Parte deNewton Freire-Maia
Parte deNewton Freire-Maia
Parte deNewton Freire-Maia
Parte deNewton Freire-Maia
Parte deNewton Freire-Maia