Sur le schèma de la sèparation
- BR SPCLEARQ FAIA-Impr-IT502
- Item
- 1970-03
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
19 resultados com objetos digitais Exibir resultados com objetos digitais
Sur le schèma de la sèparation
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur un Théorème de Hilbert et Bernays
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur une hiérarchies de systèmes formels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Transformadas no Cálculo Restrito de Predicados
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1=. C.R
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Introduction: A Short History of the Latin American Logic Symposia
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Um currículo para a formação do professor de matemática do ensino secundário
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Paraconsistent extensional propositional logics
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
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Proceedings of the Third Brazilian Conference on Mathematical Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Wroctaw: Polish Academy of Sciences
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Leibniziani e strutture alla luce della logica matematica
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Measures of centrality and complexity for partial propositional calculi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sole axioms for partially ordered sets
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Calculs de descriptions pour les systèmes formels inconsistants
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Boolean Powers in algebric logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
The set of quantifiers of an atomic Boolean algebra
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On structural completeness of some nonclassical predicate calculi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
How I created the theory of relativity
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda