Showing 697 results

Archival description
Ayda Ignez Arruda English
Print preview View:

10 results with digital objects Show results with digital objects

Capítulo II: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Cálculo Proposicional
Cálculo Proposicional
Cálculo de predicados de ordem superior
Cálculo de predicados de ordem superior
Aplicação de Matrizes
Aplicação de Matrizes
Os sistemas P e P*,
Os sistemas P e P*,
Artigo sem título
Artigo sem título
Une sémantique pour le calcul C1=
Une sémantique pour le calcul C1=
Sur la Théorie des Sytèmes Formels Inconsistants
Sur la Théorie des Sytèmes Formels Inconsistants
Sobre A Teoria dos Tipos
Sobre A Teoria dos Tipos
Silogismos Não-Aristotélicos
Silogismos Não-Aristotélicos
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Resumo de AIA intitulado On Griss' Propositional Calculus
Resumo de AIA intitulado On Griss' Propositional Calculus
Observações sobre o conjunto de Russell
Observações sobre o conjunto de Russell
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Álgebras de conjuntos não-clássicas
Álgebras de conjuntos não-clássicas
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
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
Programa Simpósio Latino-Americano de Lógica Matemática
Programa Simpósio Latino-Americano de Lógica Matemática
Resumos de trabalhos
Resumos de trabalhos
Escola matemática polonesa
Escola matemática polonesa
Alcune osservazione sulle algebre cilindriche speciali
Alcune osservazione sulle algebre cilindriche speciali
Educação, Pesquisa e Administração Universitária
Educação, Pesquisa e Administração Universitária
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
Results 91 to 120 of 697