Truth in mathematics
H. G. Dales, G. Oliveri
Collecting the work of a number of outstanding mathematicians and philosophers, including Yurii Manin, Vaughan Jones, and Per Martin-Lof, this volume surveys the full range of current work on mathematical truth.
