Mostrando 697 resultados

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

10 resultados com objetos digitais Exibir resultados com objetos digitais

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
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
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
On sequential modifications of applied predicate calculi
On sequential modifications of applied predicate calculi
Grundalagenprobleme Einer theorie der klinischen praxis
Grundalagenprobleme Einer theorie der klinischen praxis
Resumos de trabalhos
Resumos de trabalhos
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Les logiques nouvelles et le champ de leur application
Les logiques nouvelles et le champ de leur application
Curriculum vitae de Florencio G. Asenjo
Curriculum vitae de Florencio G. Asenjo
Curriculum vitae de Jerzy Kotas
Curriculum vitae de Jerzy Kotas
Curriculum vitae de Edgar G.K. Lopes-Escobar
Curriculum vitae de Edgar G.K. Lopes-Escobar
Curriculum vitae de Luiz Fernando Monteiro
Curriculum vitae de Luiz Fernando Monteiro
Exibindo 61-90 de 697 resultados