Showing 697 results

Archival description
Ayda Ignez Arruda English
Print preview View:

10 results with digital objects Show results with digital objects

On the concept of formalization and partially ordered quantifiers
On the concept of formalization and partially ordered quantifiers
Campinas, bicentenário é turismo
Campinas, bicentenário é turismo
Vibre com o roteiro turístico da vida, trabalho e do amor
Vibre com o roteiro turístico da vida, trabalho e do amor
Introduction to a general theory of elementary porpositions
Introduction to a general theory of elementary porpositions
Lukasiewicz and the Origins of Many-Valued Logic
Lukasiewicz and the Origins of Many-Valued Logic
Questioni di categoricita delle teorie matematiche
Questioni di categoricita delle teorie matematiche
O que é o Impa?
O que é o Impa?
A partial comparison of two conditions on the intersections of regressive sets
A partial comparison of two conditions on the intersections of regressive sets
Logique sans igalité et (k,p)-quasivalence
Logique sans igalité et (k,p)-quasivalence
On the principle of contradiction in Aristotle
On the principle of contradiction in Aristotle
Un principio di riflessione nella teoria delle classi
Un principio di riflessione nella teoria delle classi
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
Results 121 to 150 of 697