The set of quantifiers of an atomic Boolean algebra
- BR SPCLEARQ FAIA-Impr-IT528
- Item
- 1970-09
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
20 resultados com objetos digitais Exibir resultados com objetos digitais
The set of quantifiers of an atomic Boolean algebra
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On structural completeness of some nonclassical predicate calculi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
How I created the theory of relativity
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Su una interpretazione algebricio-categoriale del silogismo
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Incompleteness and truth definition
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logic of negationless intuitionistics mathematics
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A Lógica e a Matemática são idênticas?
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
International Congress of Logic, Methodology and Philosophy of Science
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
International Congress on Logical Mathematic and Philosophy of Science
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Propositional calculus for contradctory deductive systems
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Vasil’év and the development of Many-valued logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Göde
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Un principio di riflessione nella teoria delle classi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the principle of contradiction in Aristotle
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logique sans igalité et (k,p)-quasivalence
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A partial comparison of two conditions on the intersections of regressive sets
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Questioni di categoricita delle teorie matematiche
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Lukasiewicz and the Origins of Many-Valued Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Introduction to a general theory of elementary porpositions
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the concept of formalization and partially ordered quantifiers
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On sequential modifications of applied predicate calculi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Grundalagenprobleme Einer theorie der klinischen praxis
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Problemi di decisione per algebre comesse a logiche a più valori
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Alcune osservazione sulle algebre cilindriche speciali
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda