Mostrando 704 resultados

Descrição arquivística
Ayda Ignez Arruda Item
Visualizar impressão Visualizar:
Crescente

16 resultados com objetos digitais Exibir resultados com objetos digitais

Un principio di riflessione nella teoria delle classi
Un principio di riflessione nella teoria delle classi
On the principle of contradiction in Aristotle
On the principle of contradiction in Aristotle
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
O que é o Impa?
O que é o Impa?
Questioni di categoricita delle teorie matematiche
Questioni di categoricita delle teorie matematiche
Lukasiewicz and the Origins of Many-Valued Logic
Lukasiewicz and the Origins of Many-Valued Logic
Introduction to a general theory of elementary porpositions
Introduction to a general theory of elementary porpositions
Vibre com o roteiro turístico da vida, trabalho e do amor
Vibre com o roteiro turístico da vida, trabalho e do amor
Campinas, bicentenário é turismo
Campinas, bicentenário é turismo
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
Problemi di decisione per algebre comesse a logiche a più valori
Problemi di decisione per algebre comesse a logiche a più valori
Educação, Pesquisa e Administração Universitária
Educação, Pesquisa e Administração Universitária
Alcune osservazione sulle algebre cilindriche speciali
Alcune osservazione sulle algebre cilindriche speciali
Escola matemática polonesa
Escola matemática polonesa
Resumos de trabalhos
Resumos de trabalhos
Programa Simpósio Latino-Americano de Lógica Matemática
Programa Simpósio Latino-Americano de Lógica Matemática
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
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
Logical matrices strongly adequate for structural setential calculi
Logical matrices strongly adequate for structural setential calculi
Les logiques nouvelles et le champ de leur application
Les logiques nouvelles et le champ de leur application
Álgebras de conjuntos não-clássicas
Álgebras de conjuntos não-clássicas
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Observações sobre o conjunto de Russell
Observações sobre o conjunto de Russell
Resumo de AIA intitulado On Griss' Propositional Calculus
Resumo de AIA intitulado On Griss' Propositional Calculus
Exibindo 571-600 de 704 resultados