Truth and proof: the Platonism of mathematics, Synthese 69 (1986)

by W Tait