“ Aritmetizando la geometría desde dentro: el cálculo de segmentos de David Hilbert ”, Sci. stud., vol. 13, nº 1, p. 11–48, mar. 2015, doi: 10.1590/S1678-31662015000100002.