Showing 697 results

Archival description
Ayda Ignez Arruda English
Print preview View:
Descending

10 results with digital objects Show results with digital objects

Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Remarques sur le système NF1
Remarques sur le système NF1
Calculs de descriptions pour les systèmes formels inconsistants
Calculs de descriptions pour les systèmes formels inconsistants
Un calcul des applications
Un calcul des applications
Sole axioms for partially ordered sets
Sole axioms for partially ordered sets
Measures of centrality and complexity for partial propositional calculi
Measures of centrality and complexity for partial propositional calculi
Leibniziani e strutture alla luce della logica matematica
Leibniziani e strutture alla luce della logica matematica
Wroctaw: Polish Academy of Sciences
Wroctaw: Polish Academy of Sciences
Proceedings of the Third Brazilian Conference on Mathematical Logic
Proceedings of the Third Brazilian Conference on Mathematical Logic
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Paraconsistent extensional propositional logics
Paraconsistent extensional propositional logics
Um currículo para a formação do professor de matemática do ensino secundário
Um currículo para a formação do professor de matemática do ensino secundário
Mathematical Logic
Mathematical Logic
Introduction: A Short History of the Latin American Logic Symposia
Introduction: A Short History of the Latin American Logic Symposia
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Transformadas no Cálculo Restrito de Predicados
Transformadas no Cálculo Restrito de Predicados
Sur une hiérarchies de systèmes formels
Sur une hiérarchies de systèmes formels
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Sur le schèma de la sèparation
Sur le schèma de la sèparation
On the relevant systems P and P* and some related systems
On the relevant systems P and P* and some related systems
O paradoxo de Curry-Moh Shaw-Kwei
O paradoxo de Curry-Moh Shaw-Kwei
Le schéma de la separation et les calculs Tn
Le schéma de la separation et les calculs Tn
Further considerations on the Postulate of Separation
Further considerations on the Postulate of Separation
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Results 151 to 180 of 697