Historical Archives - Centre for Logic, Epistemology and History of Science - Unicamp

Mostrando 6202 resultados

Descripción archivística

Opciones avanzadas de búsqueda

Encontrar resultados con :

en

Limitar resultados por :

Descripción raíz

Filtrar resultados por :

Nivel de descripción

Objeto digital disponibles

Instrumento de descripción

Descripciones de máximo nivel Todas las descripciones

Filtrar por rango de fecha :

Inicio

Fin

Superposición Exacto

Use these options to specify how the date range returns results. "Exact" means that the start and end dates of descriptions returned must fall entirely within the date range entered. "Overlapping" means that any description whose start or end dates touch or overlap the target date range will be returned.

Imprimir vista previa Ver :

Ordenar por:

Direction:

1702 resultados con objetos digitales Muestra los resultados con objetos digitales

Documentos Pessoais

BR SPCLEARQ CL-DP
Serie
s.d.

Parte deCésar Lattes

Curriculum vitae e documentos comprobatórios.

BR SPCLEARQ CL
Colección
1948-2005

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

Ricardo Ferreira, 1977

Ricardo Ferreira, 1977

Unidad documental simple

Parte deProjeto Memória Científica Nacional

Lélio Itapuambyra Gama, 1977 1

Unidad documental simple

Parte deProjeto Memória Científica Nacional

Projeto Memória Científica Nacional

Projeto Memória Científica Nacional

PMC
Colección
1987 - 1993

ArqHist/CLE e FGV/CPDOC

Andrea Maria Altino de Campos Loparic

Andrea Maria Altino de Campos Loparic

BR SPCLEARQ AMACL
Fondo
1900-2021

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

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

BR SPCLEARQ FAIA-PIm-A-IT361-IT361
Unidad documental simple

Parte deAyda Ignez Arruda

Documento de identidade

BR SPCLEARQ FAIA-DP-IT001
Unidad documental simple

Parte deAyda Ignez Arruda

Documento de identidade de AIA. Ass.: Ayda Ignez Arruda.

Lições de Lógica

Lições de Lógica

BR SPCLEARQ AMACL-PI-12
Unidad documental simple
1996

Parte deAndrea Maria Altino de Campos Loparic

Introdução à Lógica de Predicados

Introdução à Lógica de Predicados

BR SPCLEARQ AMACL-PI-11
Unidad documental simple
s.d.

Parte deAndrea Maria Altino de Campos Loparic

Questões para resolver em casa

Questões para resolver em casa

BR SPCLEARQ AMACL-PI-10
Unidad documental simple
1997

Parte deAndrea Maria Altino de Campos Loparic

La méthode des validations en Logique Propositionnelle Modale

La méthode des validations en Logique Propositionnelle Modale

BR SPCLEARQ AMACL-PI-09
Unidad documental simple
1977

Parte deAndrea Maria Altino de Campos Loparic

Lições de Lógica 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Introdução à Lógica de Predicados 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Questões para resolver em casa 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

La méthode des validations en Logique Propositionnelle Modale 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Produção Intelectual

BR SPCLEARQ AMACL-PI
Serie
1960-2022

Parte deAndrea Maria Altino de Campos Loparic

Apostila de exercícios Lógica II anexos 1

Apostila de exercícios Lógica II anexos 1

Parte deAndrea Maria Altino de Campos Loparic

Apostila de exercícios Lógica II 1

Apostila de exercícios Lógica II 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1

Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Linguagem do Cálculo Sentencial 1

Linguagem do Cálculo Sentencial 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1

Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Logique Mathématique 1

Logique Mathématique 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Duas aplicações da Teoria das Valorações 1

Duas aplicações da Teoria das Valorações 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

O objeto da Lógica 1

O objeto da Lógica 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Um estudo semântico de alguns cálculos proposicionais 1

Um estudo semântico de alguns cálculos proposicionais 1

Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Apostila de exercícios Lógica II

BR SPCLEARQ AMACL-PI-08
Unidad documental simple
1994

Parte deAndrea Maria Altino de Campos Loparic

Definição de conjuntos decidíveis de valorações pela fatorização da linguagem

BR SPCLEARQ AMACL-PI-07
Unidad documental simple
1988

Parte deAndrea Maria Altino de Campos Loparic

Linguagem do Cálculo Sentencial

BR SPCLEARQ AMACL-PI-06
Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais

BR SPCLEARQ AMACL-PI-05
Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Resultados 1 a 30 de 6202

1
2
3
4
5
6
7
...
207
Siguiente »