Mostrando 407 resultados

Descrição arquivística
Ayda Ignez Arruda Português do Brasil
Visualizar impressão Visualizar:

19 resultados com objetos digitais Exibir resultados com objetos digitais

Carta de John T. Baldwin a Said Sidki
Carta de John T. Baldwin a Said Sidki
Ofício n. 117/76-M de Martha Maria Mischan
Ofício n. 117/76-M de Martha Maria Mischan
Carta de Bruce I. Rose
Carta de Bruce I. Rose
Ofício GR-015/80 de Plínio Alves de Moraes
Ofício GR-015/80 de Plínio Alves de Moraes
Carta de Roman Sikorski para Universidad Nacional del Sur
Carta de Roman Sikorski para Universidad Nacional del Sur
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
A Evolução do Método Axiomático
A Evolução do Método Axiomático
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Sur certains algèbres de classes non classiques
Sur certains algèbres de classes non classiques
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
Sur une hiérarchies de systèmes formels
Sur une hiérarchies de systèmes formels
Mathematical Logic
Mathematical Logic
Paraconsistent extensional propositional logics
Paraconsistent extensional propositional logics
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?
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
Logique sans igalité et (k,p)-quasivalence
Logique sans igalité et (k,p)-quasivalence
A partial comparison of two conditions on the intersections of regressive sets
A partial comparison of two conditions on the intersections of regressive sets
Lukasiewicz and the Origins of Many-Valued Logic
Lukasiewicz and the Origins of Many-Valued Logic
On the concept of formalization and partially ordered quantifiers
On the concept of formalization and partially ordered quantifiers
Exibindo 151-180 de 407 resultados