Visualizar impressão Fechar

Mostrando 269 resultados

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

7 resultados com objetos digitais Exibir resultados com objetos digitais

Relevance Logic and the Schema of Separation
Relevance Logic and the Schema of Separation
Observações sobre um sistema sem a regra do modus ponens
Observações sobre um sistema sem a regra do modus ponens
Observações sobre os sistemas NFi
Observações sobre os sistemas NFi
O sistema A de Ackermann
O sistema A de Ackermann
Lógicas de conceitos inexatos
Lógicas de conceitos inexatos
Linguagem de Primeira Ordem
Linguagem de Primeira Ordem
Abstract da palestra Implicative Systems and Modus Ponens Rule
Abstract da palestra Implicative Systems and Modus Ponens Rule
Capítulo II - Teoria de conjuntos An
Capítulo II - Teoria de conjuntos An
Capítulo I - Introdução aos Conceitos Fundamentais
Capítulo I - Introdução aos Conceitos Fundamentais
Cálculos Implicativos Gerais
Cálculos Implicativos Gerais
Aspects of the Historical Development of Paraconsistent Logic
Aspects of the Historical Development of Paraconsistent Logic
A teoria de primeira ordem v
A teoria de primeira ordem v
Artigo cálculos proposicionais
Artigo cálculos proposicionais
Várias axiomáticas para o cálculo proposicional clássico
Várias axiomáticas para o cálculo proposicional clássico
Matrizes
Matrizes
Introdução: 3 – Matrizes
Introdução: 3 – Matrizes
Independência de axiomas
Independência de axiomas
Função de verdade e matrizes
Função de verdade e matrizes
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
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
Mathematical Logic
Mathematical Logic
Introduction: A Short History of the Latin American Logic Symposia
Introduction: A Short History of the Latin American Logic Symposia
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Transformadas no Cálculo Restrito de Predicados
Transformadas no Cálculo Restrito de Predicados
Sur une hiérarchies de systèmes formels
Sur une hiérarchies de systèmes formels
Exibindo 31-60 de 269 resultados