Mostrando 697 resultados

Descrição arquivística
Ayda Ignez Arruda Inglês
Visualizar impressão Visualizar:
Decrescente

10 resultados com objetos digitais Exibir resultados com objetos digitais

Comutadores em Variedades de Mal'cev
Comutadores em Variedades de Mal'cev
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
Catálogo de Pós-graduação: 2° semestre
Catálogo de Pós-graduação: 2° semestre
Catálogo de Pós-graduação: 1° semestre
Catálogo de Pós-graduação: 1° semestre
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
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
Proceedings of the Third Brazilian Conference on Mathematical Logic
Proceedings of the Third Brazilian Conference on Mathematical Logic
Boletim Informativo
Boletim Informativo
Boletim Informativo
Boletim Informativo
Exibindo 121-150 de 697 resultados