Mostrando 407 resultados

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

19 resultados com objetos digitais Exibir resultados com objetos digitais

Paraconsistent extensional propositional logics
Paraconsistent extensional propositional logics
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
Su una interpretazione algebricio-categoriale del silogismo
Su una interpretazione algebricio-categoriale del silogismo
Incompleteness and truth definition
Incompleteness and truth definition
Logic of negationless intuitionistics mathematics
Logic of negationless intuitionistics mathematics
A Lógica e a Matemática são idênticas?
A Lógica e a Matemática são idênticas?
International Congress of Logic, Methodology and Philosophy of Science
International Congress of Logic, Methodology and Philosophy of Science
International Congress on Logical Mathematic and Philosophy of Science
International Congress on Logical Mathematic and Philosophy of Science
Propositional calculus for contradctory deductive systems
Propositional calculus for contradctory deductive systems
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
Vasil’év and the development of Many-valued logic
Vasil’év and the development of Many-valued logic
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
Un principio di riflessione nella teoria delle classi
Un principio di riflessione nella teoria delle classi
On the principle of contradiction in Aristotle
On the principle of contradiction in Aristotle
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
O que é o Impa?
O que é o Impa?
Questioni di categoricita delle teorie matematiche
Questioni di categoricita delle teorie matematiche
Exibindo 271-300 de 407 resultados