Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
Teorias Recursivas, Creativas y Productivas
Teorias Recursivas, Creativas y Productivas
Gödel’s collected works (A.S.L. Project)
Gödel’s collected works (A.S.L. Project)
Tradução do artigo de Jean Dieudonné
Tradução do artigo de Jean Dieudonné
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Estudo contendo vários teoremas
Estudo contendo vários teoremas
Carta de Francisco Miró Quesada
Experiência com iças
Experiência com iças
Conferência Internacional sobre usos pacíficos de Energia Atômica. Presidência da seção 10b: "Ocorrências de Urânio, Genebra, Suíça”
Carta de JCVM à Diretoria da Adunicamp
Carta de JCVM à Diretoria da Adunicamp
Cartão de Jorge Forbes
Encontro Nacional de Filosofia - ANPOF, 8
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
Carta de JCVM ao DCE/Unicamp
Carta de JCVM ao DCE/Unicamp
Conferência Internacional sobre usos pacíficos de Energia Atômica
Carta de Francisco Miró Quesada
