"138","Doing Mathematics with the Rodin Platform","Proof of Well-ordering theorem in Rodin","http://deploy-eprints.ecs.soton.ac.uk/138/","Abrial, Jean-Raymond","UNSPECIFIED","       <span class=\"person_name\">Abrial, Jean-Raymond</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/138/\"><em>Doing Mathematics with the Rodin Platform.</em></a>       [Rodin Archive]           ","",""