Carta de Francisco Miró Quesada
- BR SPCLEARQ FNCAC-Cp-DFMQ-IT41
- Item
- 1982-07-07
Parte de Newton Carneiro Affonso da Costa
1786 resultados com objetos digitais Exibir resultados com objetos digitais
Carta de Francisco Miró Quesada
Parte de Newton Carneiro Affonso da Costa
Encontro Nacional de Filosofia - ANPOF, 8
Parte de Associação Nacional de Pós-graduação em Filosofia (ANPOF)
Associação Nacional de Pós-graduação em Filosofia
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Aspects of the Historical Development of Paraconsistent Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Artigo cálculos proposicionais
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Várias axiomáticas para o cálculo proposicional clássico
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Decidibilidade do cálculo implicativo clássico
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Newton Carneiro Affonso da Costa
Parte de Walter Hugo de Andrade Cunha
Walter Hugo de Andrade Cunha
Carta de JCVM à Diretoria da Adunicamp
Parte de José Carlos Valladão de Mattos
José Carlos Valladão de Mattos
Parte de Joaquim da Costa Ribeiro
Joaquim da Costa Ribeiro
Carta de Francisco Miró Quesada
Parte de Newton Carneiro Affonso da Costa
Parte de Michel Maurice Debrun
Encontro Nacional de Filosofia - ANPOF, 8
Parte de Associação Nacional de Pós-graduação em Filosofia (ANPOF)
Associação Nacional de Pós-graduação em Filosofia
Decidibilidade do cálculo implicativo clássico
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo II: Cálculo Proposicional
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo I: Cálculo Proposicional
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Cálculo de predicados de ordem superior
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA sobre dualidade entre C1 e C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo sobre a completude de C+
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Newton Carneiro Affonso da Costa