Lógica Simbólica II

UNIVERSIDADE FEDERAL DE SANTA CATARINA

Tópicos em Lógica Quantificacional. Cálculo de seqüentes para a Lógica Equacional Clássica. Semântica para a Lógica Equacional Clássica. Cálculo de se...

Nenhum inscrito ainda

Materiais

Explore os materiais disponíveis

Faça login para ver os materiais

Você precisa estar logado para ver os materiais dessa disciplina

Entrar

Materiais relacionados

Outros materiais que podem te interessar enquanto não há materiais específicos desta disciplina

‌
‌
‌