Mostrando 6 resultados

Descrição arquivística
Ayda Ignez Arruda Newton Carneiro Affonso da Costa Português do Brasil
Visualizar impressão Visualizar:
Calculs de descriptions pour les systèmes formels inconsistants
Calculs de descriptions pour les systèmes formels inconsistants
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Carta de Newton Carneiro Affonso da Costa
Carta de Newton Carneiro Affonso da Costa
Remarques sur le système NF1
Remarques sur le système NF1
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Introduction: A Short History of the Latin American Logic Symposia
Introduction: A Short History of the Latin American Logic Symposia