This document is unfortunately not available for download at the moment.
Geoffrey Hellman, Roy T. Cook (2018) Hilary Putnam on logic and mathematics, Dordrecht, Springer.
Abstraction, axiomatization and rigor
Pasch and Hilbert
Michael Detlefsen
pp. 161-178
Not implemented yet !