Mostrando 406 resultados

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

18 resultados com objetos digitais Mostrar os resultados com objetos digitais

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
Vasil’év and the development of Many-valued logic
Vasil’év and the development of Many-valued logic
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
Propositional calculus for contradctory deductive systems
Propositional calculus for contradctory deductive systems
International Congress on Logical Mathematic and Philosophy of Science
International Congress on Logical Mathematic and Philosophy of Science
International Congress of Logic, Methodology and Philosophy of Science
International Congress of Logic, Methodology and Philosophy of Science
A Lógica e a Matemática são idênticas?
A Lógica e a Matemática são idênticas?
Logic of negationless intuitionistics mathematics
Logic of negationless intuitionistics mathematics
Incompleteness and truth definition
Incompleteness and truth definition
Su una interpretazione algebricio-categoriale del silogismo
Su una interpretazione algebricio-categoriale del silogismo
L’ipotese del Continuo
L’ipotese del Continuo
How I created the theory of relativity
How I created the theory of relativity
On structural completeness of some nonclassical predicate calculi
On structural completeness of some nonclassical predicate calculi
The set of quantifiers of an atomic Boolean algebra
The set of quantifiers of an atomic Boolean algebra
Boolean Powers in algebric logic
Boolean Powers in algebric logic
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
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
Resultados 181 até 210 de 406