Book

Truth in mathematics

by H. G. Dales, Gianluigi Oliveri