Corpos reais fechados

16 Dezembro 2009, 16:00 Maria Cristina De Sales Viana Serôdio Sernadas

Conclusão da demonstração de que a teoria dos corpos reais fechados tem eliminação de quantificadores.