Showing 1729 results

Archival description
English
Print preview View:

324 results with digital objects Show results with digital objects

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
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
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 JCVM à ASSUC
Carta de JCVM à ASSUC
Regresso de Genebra
Regresso de Genebra
Experiência com iças
Experiência com iças
Encontro Nacional de Filosofia - ANPOF, 8
Encontro Nacional de Filosofia - ANPOF, 8
Semântica para D1
Semântica para D1
Relevance Logic and the Schema of Separation
Relevance Logic and the Schema of Separation
Observações sobre um sistema sem a regra do modus ponens
Observações sobre um sistema sem a regra do modus ponens
Observações sobre os sistemas NFi
Observações sobre os sistemas NFi
O sistema A de Ackermann
O sistema A de Ackermann
Lógicas de conceitos inexatos
Lógicas de conceitos inexatos
Linguagem de Primeira Ordem
Linguagem de Primeira Ordem
Abstract da palestra Implicative Systems and Modus Ponens Rule
Abstract da palestra Implicative Systems and Modus Ponens Rule
Capítulo II - Teoria de conjuntos An
Capítulo II - Teoria de conjuntos An
Capítulo I - Introdução aos Conceitos Fundamentais
Capítulo I - Introdução aos Conceitos Fundamentais
Experiência com iças
Experiência com iças
Results 511 to 540 of 1729