Visualizar impressão Fechar

Mostrando 261 resultados

Descrição arquivística
Ayda Ignez Arruda Ayda Ignez Arruda Inglês
Visualizar impressão Visualizar:

2 resultados com objetos digitais Exibir resultados com objetos digitais

Cálculos Implicativos Gerais
Cálculos Implicativos Gerais
Capítulo II - Teoria de conjuntos An
Capítulo II - Teoria de conjuntos An
Linguagem de Primeira Ordem
Linguagem de Primeira Ordem
O sistema A de Ackermann
O sistema A de Ackermann
Sobre o Sistema G1 de Gentzen
Sobre o Sistema G1 de Gentzen
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Teoria de Conjuntos R e cálculos diversos
Teoria de Conjuntos R e cálculos diversos
Estudo contendo demonstrações de vários teoremas
Estudo contendo demonstrações de vários teoremas
Estudo contendo vários teoremas
Estudo contendo vários teoremas
Le schéma de la separation et les calculs Tn
Le schéma de la separation et les calculs Tn
Transformadas no Cálculo Restrito de Predicados
Transformadas no Cálculo Restrito de Predicados
Aerograma de Ken para AIA
Aerograma de Ken para AIA
Carta de Marek Palasinski para AIA
Carta de Marek Palasinski para AIA
Carta de Maria da Graça Rodrigues
Carta de Maria da Graça Rodrigues
Carta de Oswaldo Porchat Pereira para AIA
Carta de Oswaldo Porchat Pereira para AIA
Carta de Paolo Bottura para AIA
Carta de Paolo Bottura para AIA
Carta de Paolo Bottura para AIA
Carta de Paolo Bottura para AIA
Aplicação de Matrizes
Aplicação de Matrizes
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Introdução: 3 – Matrizes
Introdução: 3 – Matrizes
Matrizes
Matrizes
Várias axiomáticas para o cálculo proposicional clássico
Várias axiomáticas para o cálculo proposicional clássico
Artigo cálculos proposicionais
Artigo cálculos proposicionais
Observações sobre um sistema sem a regra do modus ponens
Observações sobre um sistema sem a regra do modus ponens
Relevance Logic and the Schema of Separation
Relevance Logic and the Schema of Separation
Semântica para D1
Semântica para D1
Sistema DL
Sistema DL
Sistemas formais inconsistentes e teorias de conjuntos
Sistemas formais inconsistentes e teorias de conjuntos
Sobre Certos Sistemas de Lógica Relevante
Sobre Certos Sistemas de Lógica Relevante
Teorema de Completude para teorias de primeira ordem
Teorema de Completude para teorias de primeira ordem
Exibindo 61-90 de 261 resultados