Eliminação de quantificadores

11 novembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Conclusão da demonstração do teorema da aula anterior.