The mathematician as a formalist (1998)

by H G Dales
Venue:in Truth in Mathematics (H.G. Dales and