'Record of lectures given at a conference Truth in Mathematics ... held in Mussomeli, Sicily, Italy, from 13 to 20 September, 1995' - Preface.
Truth in mathematics. ISBN 019851476X. Published by Clarendon Press in 1998. Publication and catalogue information, links to buy online and reader comments.