"Decidable and undecidable real closed rings"

Thu, 18/11/2010
17:00
Marcus Tressl (Manchester) Logic Seminar Add to calendar L3