Showing 587 results

Archival description
Ayda Ignez Arruda
Print preview View:
Descending

6 results with digital objects Show results with digital objects

Reportagem
Reportagem
Reportagem
Reportagem
Reportagem
Reportagem
Áudio Visual
Áudio Visual
Sur certains hiérarchies de calculs de prédicats
Sur certains hiérarchies de calculs de prédicats
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
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
Curriculum vitae
Curriculum vitae
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Uma Questão de Lógica
Uma Questão de Lógica
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Further considerations on the Postulate of Separation
Further considerations on the Postulate of Separation
O paradoxo de Curry-Moh Shaw-Kwei
O paradoxo de Curry-Moh Shaw-Kwei
Mathematical Logic
Mathematical Logic
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Sole axioms for partially ordered sets
Sole axioms for partially ordered sets
Un calcul des applications
Un calcul des applications
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
A Lógica e a Matemática são idênticas?
A Lógica e a Matemática são idênticas?
Catálogo do curso de Pós-Graduação em Lógica e Filosofia da Ciência
Catálogo do curso de Pós-Graduação em Lógica e Filosofia da Ciência
Catálogo de Pós-graduação: 1° semestre
Catálogo de Pós-graduação: 1° semestre
Catálogo de Pós-graduação: 2° semestre
Catálogo de Pós-graduação: 2° semestre
Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem
Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem
La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Göde
La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Göde
A partial comparison of two conditions on the intersections of regressive sets
A partial comparison of two conditions on the intersections of regressive sets
Results 151 to 180 of 587