Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

1 résultat
Image document

Formal Proof of Banach-Tarski Paradox

Daniel de Rauglaudre
Journal of Formalized Reasoning, 2017, 10 (1), pp.37-49. ⟨10.6092/issn.1972-5787/6927⟩
Article dans une revue hal-01673378v1