Hilbert, logicism, and mathematical existence | Publicación