Visitor

Views

Théorie des ensembles Eléments de Mathématique N Bourbaki ( Pdf )

enseignent que la traduction en langage formalisé ne serait plus qu'un exercice de patience (sans doute fort pénible). Si, comme il arrive mainte et mainte ...