Mostrando 12 resultados

Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1

• Item

Parte de Andrea Maria Altino de Campos Loparic

Um estudo semântico de alguns cálculos proposicionais 1

• Item

Parte de Andrea Maria Altino de Campos Loparic

Questões para resolver em casa

• BR SPCLEARQ AMACL-PI-10
• Item
• 1997

Parte de Andrea Maria Altino de Campos Loparic

O objeto da Lógica 1

• Item

Parte de Andrea Maria Altino de Campos Loparic

Logique Mathématique 1

• Item

Parte de Andrea Maria Altino de Campos Loparic

Linguagem do Cálculo Sentencial 1

• Item

Parte de Andrea Maria Altino de Campos Loparic

Lições de Lógica

• BR SPCLEARQ AMACL-PI-12
• Item
• 1996

Parte de Andrea Maria Altino de Campos Loparic

La méthode des validations en Logique Propositionnelle Modale

• BR SPCLEARQ AMACL-PI-09
• Item
• 1977

Parte de Andrea Maria Altino de Campos Loparic

Introdução à Lógica de Predicados

• BR SPCLEARQ AMACL-PI-11
• Item
• s.d.

Parte de Andrea Maria Altino de Campos Loparic

Duas aplicações da Teoria das Valorações 1

• Item

Parte de Andrea Maria Altino de Campos Loparic

Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1

• Item

Parte de Andrea Maria Altino de Campos Loparic

Apostila de exercícios Lógica II 1

• Item

Parte de Andrea Maria Altino de Campos Loparic