Imprimir vista previa Cerrar

Mostrando 5150 resultados

Descripción archivística
Imprimir vista previa Ver :

1786 resultados con objetos digitales Muestra los resultados con objetos digitales

Carta de Francisco Miró Quesada
Carta de Francisco Miró Quesada
Encontro Nacional de Filosofia - ANPOF, 8
Encontro Nacional de Filosofia - ANPOF, 8
Cálculos Implicativos Gerais
Cálculos Implicativos Gerais
Aspects of the Historical Development of Paraconsistent Logic
Aspects of the Historical Development of Paraconsistent Logic
A teoria de primeira ordem v
A teoria de primeira ordem v
Artigo cálculos proposicionais
Artigo cálculos proposicionais
Várias axiomáticas para o cálculo proposicional clássico
Várias axiomáticas para o cálculo proposicional clássico
Matrizes
Matrizes
Introdução: 3 – Matrizes
Introdução: 3 – Matrizes
Independência de axiomas
Independência de axiomas
Função de verdade e matrizes
Função de verdade e matrizes
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Carta de John Corcoran
Carta de John Corcoran
Experiência com iças
Experiência com iças
Carta de JCVM à Diretoria da Adunicamp
Carta de JCVM à Diretoria da Adunicamp
Regresso de Genebra
Regresso de Genebra
Carta de Francisco Miró Quesada
Carta de Francisco Miró Quesada
Universidade de Toulouse
Universidade de Toulouse
Encontro Nacional de Filosofia - ANPOF, 8
Encontro Nacional de Filosofia - ANPOF, 8
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Capítulo II: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Cálculo Proposicional
Cálculo Proposicional
Cálculo de predicados de ordem superior
Cálculo de predicados de ordem superior
Aplicação de Matrizes
Aplicação de Matrizes
Estudo de AIA sobre dualidade entre C1 e C1
Estudo de AIA sobre dualidade entre C1 e C1
Estudo de AIA
Estudo de AIA
Estudo sobre a completude de C+
Estudo sobre a completude de C+
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Carta de Jerzy Perzaniwsky
Carta de Jerzy Perzaniwsky
Resultados 811 a 840 de 5150