Truth and proof: The Platonism of mathematics, Synthese (69): 341–370 (1986)

by W W Tait