Cálculo de sequentes

24 setembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Conclusão dos exercícios sobre embebimentos. Exercícios sobre derivações e regras derivadas em cálculo de Gentzen.