Le statut dynamique des axiomes : des preuves aux modèles / Alberto Naibo ; sous la
direction de Jean-Baptiste Joinet. Thèse de doctorat : Philosophie : Paris 1 : 2013
Naibo Alberto. Constructibility and Geometry. From Logic to Practice, Springer International
Publishing, 2014, 10.1007/978-3-319-10434-8_8.