Cálculo de Gentzen
1 outubro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre conjuntos de Hintikka. Ordens densas.
1 outubro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre conjuntos de Hintikka. Ordens densas.