Print preview Close

Showing 4278 results

Archival description
Item
Print preview View:

1731 results with digital objects Show results with digital objects

Estudo contendo demonstrações de vários teoremas
Estudo contendo demonstrações de vários teoremas
Teoria de Conjuntos R e cálculos diversos
Teoria de Conjuntos R e cálculos diversos
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Estudo sobre a regra do modus ponens
Estudo sobre a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Caderno contendo anotações sobre lógicas relevante
Caderno contendo anotações sobre lógicas relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Estudos contendo tópicos sobre axiomas
Estudos contendo tópicos sobre axiomas
Estudos analisando vários aspectos da lógica
Estudos analisando vários aspectos da lógica
Notas para a História da Lógica, História, e Variedades da Lógica
Notas para a História da Lógica, História, e Variedades da Lógica
Experiência com iças
Experiência com iças
Carta de Jorge Forbes
Carta de Jorge Forbes
Encontro Nacional de Filosofia - ANPOF, 8
Encontro Nacional de Filosofia - ANPOF, 8
Carta de JCVM ao DCE/Unicamp
Carta de JCVM ao DCE/Unicamp
Conferência Internacional sobre usos pacíficos de Energia Atômica
Conferência Internacional sobre usos pacíficos de Energia Atômica
Carta de Francisco Miró Quesada
Carta de Francisco Miró Quesada
Unidade de opostos
Unidade de opostos
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Teorema de Completude para teorias de primeira ordem
Teorema de Completude para teorias de primeira ordem
Teorema da Dedução para Teorias de Primeira Ordem
Teorema da Dedução para Teorias de Primeira Ordem
Sur l’ensemble R dans NFw
Sur l’ensemble R dans NFw
Sobre o Sistema G1 de Gentzen
Sobre o Sistema G1 de Gentzen
Sobre Certos Sistemas de Lógica Relevante
Sobre Certos Sistemas de Lógica Relevante
Sobre a regra do Modus Ponens
Sobre a regra do Modus Ponens
Sistemas formais inconsistentes e teorias de conjuntos
Sistemas formais inconsistentes e teorias de conjuntos
Sistema DL
Sistema DL
Carta de Jorge Forbes
Carta de Jorge Forbes
Carta de Francisco Miró Quesada
Carta de Francisco Miró Quesada
Carta de JCVM à ASSUC
Carta de JCVM à ASSUC
Regresso de Genebra
Regresso de Genebra
Results 601 to 630 of 4278