"The Origins of Eternal Truth in Modern Mathematics: Hilbert to Bourbaki and Beyond", Science in Context, 12: 137-183 (1998).