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.
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.