Print preview Close

Showing 407 results

Archival description
Ayda Ignez Arruda Brazilian Portuguese
Print preview View:

19 results with digital objects Show results with digital objects

Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Produção Intelectual de Terceiros Manuscrita
Produção Intelectual de Terceiros Manuscrita
Vasil'év
Vasil'év
Sistemas Cn, Cw e Relacionados
Sistemas Cn, Cw e Relacionados
Estudos em Lógica
Estudos em Lógica
Cálculos Proposicionais, de Predicados e Matrizes
Cálculos Proposicionais, de Predicados e Matrizes
Sobre A Teoria dos Tipos
Sobre A Teoria dos Tipos
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Artigos
Artigos
Produção Intelectual Manuscrita
Produção Intelectual Manuscrita
Les logiques nouvelles et le champ de leur application
Les logiques nouvelles et le champ de leur application
Logical matrices strongly adequate for structural setential calculi
Logical matrices strongly adequate for structural setential calculi
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
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
Escola matemática polonesa
Escola matemática polonesa
Alcune osservazione sulle algebre cilindriche speciali
Alcune osservazione sulle algebre cilindriche speciali
Problemi di decisione per algebre comesse a logiche a più valori
Problemi di decisione per algebre comesse a logiche a più valori
Grundalagenprobleme Einer theorie der klinischen praxis
Grundalagenprobleme Einer theorie der klinischen praxis
On sequential modifications of applied predicate calculi
On sequential modifications of applied predicate calculi
On the concept of formalization and partially ordered quantifiers
On the concept of formalization and partially ordered quantifiers
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
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
Results 1 to 30 of 407