Mostrando 743 resultados

Descrição arquivística
Ayda Ignez Arruda
Visualizar impressão Visualizar:

19 resultados com objetos digitais Exibir resultados com objetos digitais

Sur le schèma de la sèparation
Sur le schèma de la sèparation
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Sur une hiérarchies de systèmes formels
Sur une hiérarchies de systèmes formels
Transformadas no Cálculo Restrito de Predicados
Transformadas no Cálculo Restrito de Predicados
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Introduction: A Short History of the Latin American Logic Symposia
Introduction: A Short History of the Latin American Logic Symposia
Mathematical Logic
Mathematical Logic
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
Paraconsistent extensional propositional logics
Paraconsistent extensional propositional logics
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
Proceedings of the Third Brazilian Conference on Mathematical Logic
Proceedings of the Third Brazilian Conference on Mathematical Logic
Wroctaw: Polish Academy of Sciences
Wroctaw: Polish Academy of Sciences
Leibniziani e strutture alla luce della logica matematica
Leibniziani e strutture alla luce della logica matematica
Measures of centrality and complexity for partial propositional calculi
Measures of centrality and complexity for partial propositional calculi
Sole axioms for partially ordered sets
Sole axioms for partially ordered sets
Un calcul des applications
Un calcul des applications
Calculs de descriptions pour les systèmes formels inconsistants
Calculs de descriptions pour les systèmes formels inconsistants
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
Boolean Powers in algebric logic
Boolean Powers in algebric logic
The set of quantifiers of an atomic Boolean algebra
The set of quantifiers of an atomic Boolean algebra
On structural completeness of some nonclassical predicate calculi
On structural completeness of some nonclassical predicate calculi
How I created the theory of relativity
How I created the theory of relativity
L’ipotese del Continuo
L’ipotese del Continuo
Exibindo 571-600 de 743 resultados